Alloy: A lightweight object modeling notation (2002)

by Daniel Jackson
Venue:ACM Transactions on Software Engineering and Methodology