Reasoning About Static and Dynamic Properties in Alloy: A Purely Relational Approach. - Frias, Marcelo F.; López Pombo, Carlos G.; Baum, Gabriel A. (ACM Transactions on Software Engineering & Methodology, 2005)