Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Mitchell, W.P.R., Hamilton, A., McIsaac, A.J. et al. Book reviews. Formal Aspects of Computing 7, 581–585 (1995). https://doi.org/10.1007/BF01211634
Published:
Issue Date:
DOI: https://doi.org/10.1007/BF01211634