Alloy: a lightweight object modelling notation (0)

by D Jackson
Venue:ACM Trans. Softw. Eng. Methodol