Algebra of Programming Group Introductory Textbook
Introductory Textbook
Richard Bird and Oege de Moor have written an introductory text entitled Algebra of Programming, published by Prentice Hall in September 1996. Regrettably the text is only available from bookshops, but you can obtain the bibliography, gofer programs and solutions to the exercises by clicking: book.tar.gz
Algebra of Programming research group