Gheyi, Rohit Gheyi, Rohit; Henrique Monteiro Borba, Paulo. A Refinement Theory for Alloy. 2007. Tese (Doutorado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2007..
,
2007
Ghevi, Rohit Ghevi, Rohit; Henrique Monteiro Borba, Paulo. Basic Laws of Object Modeling. 2004. Dissertação (Mestrado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2004..
,
2004