Document Versions

Alloy: A Lightweight Object Modelling Notation –Daniel Jackson — 2001