Mathematics of Program Construction : 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings - Johan Jeuring ((Lecture Notes in Computer Science))