Title: Essence of Z (Prentice-Hall Essence of Computing)
Subjects: Z (Computer program language), Problems, exercises, Z (Langage de programmation), Problèmes et exercices, Z, Z (programmeertaal)