Swansea Algebraic Specification Seminar - Retreat 5.11.2004 / 05 John V Tucker



05 John V Tucker