Author: International Conference on the Mathematics of Program Construction (5th 2000 Ponte do Lima, Portugal)