Morgan, C.Carroll books & textbook
Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings (Lecture Notes in Computer Science, 669)
Bird, Richard S. Morgan, C.Carroll Woodcock, James C.P.
Springer /1993-04-06 Paperback / 388 Pages
isbn-10: 3540566252 / isbn-13: 9783540566250