Alloy: A Lightweight Object Modelling Notation (2002)

by D Jackson
Venue:ACM Transactions on Software engineering and Methodology