The Alloy Language and Tools
NganTran-0017