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. ACM Transactions on Software Engineering Methodology, 14(4):478-526, 2005. [doi]
@article{FriasPBAM05,
title = {Reasoning about static and dynamic properties in alloy: A purely relational approach},
author = {Marcelo F. Frias and Carlos López Pombo and Gabriel A. Baum and Nazareno Aguirre and T. S. E. Maibaum},
year = {2005},
doi = {10.1145/1101815.1101819},
url = {http://doi.acm.org/10.1145/1101815.1101819},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/FriasPBAM05},
cites = {0},
citedby = {0},
journal = {ACM Transactions on Software Engineering Methodology},
volume = {14},
number = {4},
pages = {478-526},
}