(1991).
Mathematical Structures for Software Engineerind. Conference, organired by the Systems and Software Engineering, Specialist Group of the Institute of Mathematics. Manchester, July, 1991 : Proceedings of..... Oxford: Clarendon Press, 360 p. : ill..