Alloy: A lightweight object modeling notation (2002)

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