A Graphical Calculus
Sharon Curtis and Gavin Lowe
Book Title
Mathematics of Program Construction
Publisher
Lecture Notes in Computer Science
Volume
947
Year
1995
Sharon Curtis and Gavin Lowe