http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
international summer school and workshop, Oxford, UK, April 2000 10-14, revised lectures
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (Online)
School on Algebraic and Co-algebraic Methods in the Mathematics of Program Construction (2000 : University of Oxford)
Roland Backhouse, Roy Crole, Jeremy Gibbons (eds.).
Lecture notes in computer science ; 2297