Author: International Conference on Mathematics of Program Construction (4th 1998 Marstrand, Sweden)