Swansea Algebraic Specification Seminar - Retreat 5.11.2004 / 10



10