Backhouse, Roland C.,,Crole, Roy L.,Gibbons, Jeremy,.Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 2000, revised lectures /.Springer,,2002..
Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 2000, revised lectures /
Backhouse, Roland C.,,Crole, Roy L.,Gibbons, Jeremy,.Springer,,2002..
