ZUM 97: the Z Formal Specification Notation : 10th Intern… by Hinchey, Michael G., Till, David, Bowen, Jonathan B., International Conference of Z Users, Reading, Great Britain) fromLecture Notes in Computer Science 0 Type: Book
