Torlak, E.; Dennis, G. (April 2008). "Kodkod for Alloy Users"(PDF). First ACM Alloy Workshop. Portland, Oregon. Archived from the original(PDF) on 22 June 2010. Retrieved 19 April 2009.
psu.edu
citeseerx.ist.psu.edu
Andoni, Alexandr; Daniliuc, Dumitru; Khurshid, Sarfraz; Marinov, Darko (2002). "Evaluating the small scope hypothesis". CiteSeerX10.1.1.8.7702.
Torlak, E.; Dennis, G. (April 2008). "Kodkod for Alloy Users"(PDF). First ACM Alloy Workshop. Portland, Oregon. Archived from the original(PDF) on 22 June 2010. Retrieved 19 April 2009.