Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Atkinson, M.D., Bradfield, J. Book reviews. Formal Aspects of Computing 6 (Suppl 1), 846–848 (1994). https://doi.org/10.1007/BF01213606
Published:
Issue Date:
DOI: https://doi.org/10.1007/BF01213606