Algebraic and Coalgebraic Methods in the Mathematics of Program Construction 2000: Oxford, UK

maintained by Schloss Dagstuhl LZI at University of Trier