Commuting relators. Available via World-Wide Web at http://www.cs.nott.ac.uk/~rcb/MPC/papers (1992)

by R C Backhouse, H Doornbos, P Hoogendijk
Venue:Formal Program Development