Alloy: A lightweight object modelling notation

Daniel Jackson
[doi] [Google Scholar] [DBLP] [Citeseer]

ACM Transactions on Software Engineering and Methodology (TOSEM) 11(2)
ACM
New York, NY, USA
Pages 256-290
April 2002
Note(s): Alloy verifier, requirements specification