Mathematics of Program Construction 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings - Jeuring, Johan; Jeuring, Johan (Springer Berlin Heidelberg : Imprint: Springer, 1998)