Mathematics of program construction proceedings - Jeuring Johan ed.; International Conference, MPC'98 on Mathematics of Program Construction (4th : 15-17 Jun 1998 : Marstrand,Sweden); International conference, MPC'98 on mathematics of program construction Marstrand, Sweden 15-17 June 1998 (Berlin Springer-Verlag, 1998)
Keywords: Computer programming