Title: ZB 2003 : Formal Specification and Development in Z and B
Subjects: Z (computer program language)