Books by International Conference on Mathematics of Program Construction (4th 1998 Marstrand, Sweden) on BookTides.