Ben Potter, Jane Sinclair, David Till. Introduction to formal specification and Z. Prentice Hall International Series in Computer Science, Prentice Hall, 1991.
@book{0067103,
title = {Introduction to formal specification and Z},
author = {Ben Potter and Jane Sinclair and David Till},
year = {1991},
researchr = {https://researchr.org/publication/0067103},
cites = {0},
citedby = {0},
series = {Prentice Hall International Series in Computer Science},
publisher = {Prentice Hall},
isbn = {978-0-13-478702-2},
}