Search: Sch. Matching/Mapping, Workshop, Goguen, J, 2004