Oege de Moor : Publications

Book chapters

• [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