Mathematics of Program Construction 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings - Backhouse, Roland; Backhouse, Roland; Nuno Oliveira, Jose; Nuno Oliveira, Jose (Springer Berlin Heidelberg : Imprint: Springer, 2000)