The way of Z practical programming with formal methods - Jacky, Jonathan (Cambridge, UK: Cambridge University Press, 1997)
BITCUN
Keywords: Formal methods (Computer science); Computer Program language; Z (Computer program language)