APA (7th ed.) Citation

MPC 2000 Ponte de Lima, Portugal, Oliveira, J. N., & Backhouse, R. C. (2000). Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 2000 : proceedings / Roland Backhouse, Jos e Nuno Oliveira (eds.): 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 2000 : proceedings. Springer.

Chicago Style (17th ed.) Citation

MPC 2000 Ponte de Lima, Portugal, José N. Oliveira, and Roland C. Backhouse. Mathematics of Program Construction : 5th International Conference, MPC 2000, Ponte De Lima, Portugal, July 2000 : Proceedings / Roland Backhouse, Jos E Nuno Oliveira (eds.): 5th International Conference, MPC 2000, Ponte De Lima, Portugal, July 2000 : Proceedings. Berlin ; London: Springer, 2000.

MLA (9th ed.) Citation

MPC 2000 Ponte de Lima, Portugal, et al. Mathematics of Program Construction : 5th International Conference, MPC 2000, Ponte De Lima, Portugal, July 2000 : Proceedings / Roland Backhouse, Jos E Nuno Oliveira (eds.): 5th International Conference, MPC 2000, Ponte De Lima, Portugal, July 2000 : Proceedings. Springer, 2000.

Warning: These citations may not always be 100% accurate.