APA (7th ed.) Citation

SpringerLink (Online service), Backhouse, R., Crole, R., & Gibbons, J. (2002). Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures (1st ed. 2002.). Springer Berlin Heidelberg : Imprint: Springer. https://doi.org/10.1007/3-540-47797-7

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Roland Backhouse, Roy Crole, and Jeremy Gibbons. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures. 1st ed. 2002. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2002. https://doi.org/10.1007/3-540-47797-7.

MLA (8th ed.) Citation

SpringerLink (Online service), et al. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures. 1st ed. 2002. Springer Berlin Heidelberg : Imprint: Springer, 2002. https://doi.org/10.1007/3-540-47797-7.