The following books were published in the series: •
R. S. Bird,
Introduction to Functional Programming using Haskell, 2nd edition, 1998. . • R. S. Bird and O. de Moor,
Algebra of Programming, 1996. . (100th volume in the series.) •
O.-J. Dahl,
Verifiable Programming, 1992. . •
D. M. Gabbay,
Elementary Logics: A Procedural Perspective, 1998. . • I. J. Hayes (ed.),
Specification Cases Studies, 2nd edition, 1993. . •
M. G. Hinchey and
J. P. Bowen (eds.),
Applications of Formal Methods, 1996. . •
C. A. R. Hoare,
Communicating Sequential Processes, 1985. hardback or paperback. • C. A. R. Hoare and
M. J. C. Gordon,
Mechanized Reasoning and Hardware Design, 1998. . • C. A. R. Hoare and
He Jifeng,
Unifying Theories of Programming, 1998. . •
INMOS Limited,
Occam 2 Reference Manual, 1988. . •
Cliff Jones,
Systematic Software Development Using VDM, 1986. hardback or paperback. •
M. Joseph (ed.),
Real-Time Systems: Specification, Verification and Analysis, 1996. . •
Bertrand Meyer,
Object-Oriented Software Construction (first edition only). •
Robin Milner,
Communication and Concurrency, 1989. (for the paperback). •
C. C. Morgan,
Programming from Specifications, 2nd edition, 1994. . • P. N. Nissanke,
Realtime Systems, 1997. . • B. Potter, J. Sinclair and D. Till,
An Introduction to Formal Specification and Z, 2nd edition, 1996. . •
A. W. Roscoe (ed.),
A Classical Mind: Essays in Honour of C. A. R. Hoare, 1994. . • A. W. Roscoe,
The Theory and Practice of Concurrency, 1997. . •
J. M. Spivey,
The Z Notation: A Reference Manual, 2nd edition, 1992. . •
J. C. P. Woodcock and
J. W. Davies,
Using Z: Specification, Refinement and Proof, 1996. . ==References==