Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Davie, T., Brock, S. Book reviews. Formal Aspects of Computing 5, 383–384 (1993). https://doi.org/10.1007/BF01212408
Issue Date:
DOI: https://doi.org/10.1007/BF01212408