publicações selecionadas capítulo de livro An Institution for Alloy and Its Translation to Second-Order Logic. AI Communications. 2013
