A 'Division' Transformation for Program and Data Structures and the Structure Clash Problem. - Beat Michel (Sci. Comput. Program., 1988)

Modeling Services using Contracts. - Thibault Estier; Beat Michel; Oliver Reinhard (EMMSAD, 2006)