Most Popular Books
- Program Construction: Calculating Implementations from Specifications
- Mathematics of Program Construction: 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings (Lecture Notes in Computer Science)
- Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, ... Lectures (Lecture Notes in Computer Science)
