Formalizing Alloy with a shallow embedding to Isabelle/HOL - Eiras, Mário André Barbosa (2011)
Dissertação de mestrado em Engenharia de Informática