Backhouse, R. C., Crole, R. L., & Gibbons, J. (2002). Algebraic and coalgebraic methods in the mathematics of program construction: Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures. Berlin ; New York: Springer.
Chicago stil citiranjaBackhouse, Roland C., Roy L. Crole, and Jeremy Gibbons. Algebraic and coalgebraic methods in the mathematics of program construction: Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures. Berlin ; New York: Springer, 2002.
MLA stil citiranjaBackhouse, Roland C., Roy L. Crole, and Jeremy Gibbons. Algebraic and coalgebraic methods in the mathematics of program construction: Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures. Berlin ; New York: Springer, 2002.