The Alloy Language and Tools
Sam-Lam-LabLambWorks