Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 2000 : proceedings / Roland Backhouse, Jos e Nuno Oliveira (eds.). - Oliveira, José N.; Backhouse, Roland C. (Roland Carl), 1948- (Lecture notes in computer science ;, 2000)