Skip to main content

Mathematics of Program Construction

Editor
Richard S. Bird and Carroll Morgan and Jim Woodcock
ISBN
3−540−56625−2
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
669
Year
1993