The Algebra of Programming
Richard Bird and Oege de Moor
Book Title
Proceedings of the NATO Advanced Study Institute on Deductive Program Design
Editor
Manfred Broy
ISBN
3−540−60947−4
Pages
167−203
Publisher
Springer−Verlag
Series
NATO ASI series F
Year
1994