Didier BertBooksZB 2002 : Formal Specification and Development in Z and BZB 2003 : Formal Specification and Development in Z and BÉtude d'elements fondamentaux des langages de programmationAuthor data: Open Library