A short primer on the syntax and semantics of the modelling language and tool Alloy (alloy.mit.edu).
Primary LanguageTeX