Reference
Pitt, D., Abramsky, S., Poigné, A. and Rydeheard, D. (eds):Category Theory and Computer Programming, Lecture Notes in Computer Science,240, Springer-Verlag, 1986.
References
Abrial J.-R.: Abstract Machines. Manuscript, September 1989.
Back, R. J. R. and Kurki-Suonio, R.: Distributed Cooperation with Action Systems.ACM TOPLAS,10(4), 513–554 (1988).
Dijkstra, E. W.:A Discipline of Programming, Prentice-Hall International, 1976.
Hoare, C. A. R.:Communicating Sequential Processes, Prentice-Hall International, 1985.
Jones, C. B.:Systematic Software Development using VDM, Prentice-Hall International, 1986.
Milner, A. J. R. G.:Communication and Concurrency, Prentice-Hall International, 1989.
Morgan, C. C.:Programming from Specifications, Prentice-Hall International, 1990.
Spivey, J. M.:The Z Reference Manual, Prentice-Hall International, 1988.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Murphy, D., Sanders, J.W. Book reviews. Formal Aspects of Computing 3, 206–212 (1991). https://doi.org/10.1007/BF01898403
Issue Date:
DOI: https://doi.org/10.1007/BF01898403