Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Atkinson, M.D., Lester, D. & Paulson, L.C. Book reviews. Formal Aspects of Computing 4, 493–496 (1992). https://doi.org/10.1007/BF01211396
Issue Date:
DOI: https://doi.org/10.1007/BF01211396