%0 Book
%A Johan Jeuring, )ed.(
%T Mathematics of program construction : 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998 : proceedings
%U /book/101381374/Mathematics-of-program-construction-4th-Internat/