ACM SIGSOFT Conf. Foundations of Software Engineering/
European Software Engineering Conference (FSE/ESEC '01)
Vienna, September 2001.

Describes new version of Alloy, focusing on the fundamental idea
of the signature. Illustrated on a small railway example.
The paper contains many details not covered, including polymorphism,
signature extension and a demonstration of the use of the
mechanism in a variety of idioms.

Paper

Slides

Models