S. J. Goldsack, Stuart J. H. Kent. Formal Methods and Object Technology. FACIT : formal approaches to computing and information technology, Springer, 1996. [doi]
@book{0083672,
title = {Formal Methods and Object Technology},
author = {S. J. Goldsack and Stuart J. H. Kent},
year = {1996},
doi = {10.1007/978-1-4471-3071-0},
url = {https://doi.org/10.1007/978-1-4471-3071-0},
researchr = {https://researchr.org/publication/0083672},
cites = {0},
citedby = {0},
series = {FACIT : formal approaches to computing and information technology},
publisher = {Springer},
isbn = {978-3-540-19977-9},
}