There are 4 books by O'Donnell, Michael J. on BookOrb. A strong starting point is Constructivity in computer science (1992). The bibliography below is in publication order, with series grouped in reading order.
Standalone books
Frequently asked questions
How many books has O'Donnell, Michael J. written?
BookOrb lists 4 books by O'Donnell, Michael J..
Where should I start with O'Donnell, Michael J.?
A good starting point is Constructivity in computer science (1992).
What is the O'Donnell, Michael J. books in order list?
In publication order: 1. Computing in systems described by equations (1977), 2. Equational logic as a programming language (1985), 3. Constructivity in computer science (1992), 4. An ordinary family (2004).