Oege de Moor : Publications
-
[1]
The Algebra of Programming
Richard Bird and Oege de Moor
In Manfred Broy, editor, Proceedings of the NATO Advanced Study Institute on Deductive Program Design. Pages 167−203. Springer−Verlag. 1994.
Details about The Algebra of Programming | BibTeX data for The Algebra of Programming | Link to The Algebra of Programming