Information and Software Technology 44(4) 31 March 2002
(2002)
Jackson, Daniel (2002) Jackson, Daniel "Alloy: A Lightweight Object Modelling Notation" ACM pp256?290
Matt Holgate and Will Partain (2002) Matt Holgate and Will Partain "ARK: an object(ive) view of extensible minimal languages for system configuration" pp259-268