Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings Mossakowski Till Heftet / 2007 / Engelsk
Recent Trends in Data Type Specification 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19 - 23, 1995, Selected Papers Haveraaen Magne Heftet / 1996 / Engelsk
