Chief Chefs of Z to Alloy: Using a Kitchen Example to Teach Alloy with Z.

Sureyya Tarkan Vibha Sazawal Chief Chefs of Z to Alloy: Using a Kitchen Example to Teach Alloy with Z. 72-91 2009 TFM http://dx.doi.org/10.1007/978-3-642-04912-5_6 conf/tfm/2009 db/conf/tfm/tfm2009.html#TarkanS09