"Alcoa: the alloy constraint analyzer."

Daniel Jackson, Ian Schechter, Ilya Shlyakhter (2000)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics