Zum a98: the z formal specification notation (e-book)
Bowen, Jonathan
Zum a98: the z formal specification notation (e-book) - Berlin Springer 1998 - Lecture Notes in Computer Science (LNCS) v.1493 .
978-3-540-49676-2
Zum a98: the z formal specification notation (e-book) - Berlin Springer 1998 - Lecture Notes in Computer Science (LNCS) v.1493 .
978-3-540-49676-2