Alloy: a lightweight object modelling notation. (2002)

by D Jackson
Venue:ACM Transactions on Software Engineering and Methodology,