Marcelo F. Frias Carlos López Pombo Gabriel A. Baum Nazareno Aguirre T. S. E. Maibaum Reasoning about static and dynamic properties in alloy: A purely relational approach. 478-526 2005 14 ACM Trans. Softw. Eng. Methodol. 4 http://doi.acm.org/10.1145/1101815.1101819 db/journals/tosem/tosem14.html#FriasPBAM05