Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures - School on Algebraic and Co-algebraic Methods in the Mathematics of Program Construction (2000 : University of Oxford); Backhouse, Roland C., 1948-; Crole, Roy L.; Gibbons, Jeremy, 1966- (Berlin ; New York : Springer, 2002)
Includes bibliographical references and index.
Keywords: Computer programming -- Congresses; Computer science -- Mathematics -- Congresses; Algebra -- Congresses