C. P. J. Koymans;G. R. Renardel de Lavalette
-;-
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)