The Alloy Language and Tools
ab7100