international conference on mathematics of program construction (0)

by Fourth
Venue:MPC'98, Marstrand, Sweden. Lecture Notes in Computer Science