Abstract State Machines, Alloy, B and ZMarc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves · First published 2010Open the Tome
