Mathematics of Program Construction

Roland Carl Backhouse. Mathematics of Program Construction. Science of Computer Programming, 26(1-3):5-9, 1996.

Possibly Related Publications

The following publications are possibly variants of this publication: