Swansea Algebraic Specification Seminar - Retreat 5.11.2004 / 04 Magne Haveraaen



04 Magne Haveraaen