"Towards abstraction for DynAlloy specifications" (2008) Aguirre, N.M.;Frias, M.F.;Ponzio, P. (
...)Regis, G. 10th International Conference on Formal Engineering Methods, ICFEM 2008. 5256 LNCS:207-225
10.1007/978-3-540-88194-0-14
paper_03029743_v5256LNCS_n_p207_Aguirre