Dissertation
-Miguel Domingos Ferreira advised by João BarretoTrabalho sobre SPEC-STM Graduation Thesis on , work in progress, [bibTex]