MSc thesis
-Síntese de Circuitos em Lógica Multi-ValorJoão Miguel Tavares Severino advised by J. Monteiro and Paulo Flores MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2016, [bibTex]