University of Oxford Department of Computer Science

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

Back to Top