Cornelis Huizing, Rob Gerth, Willem P. de Roever: Modeling Statecharts Behaviour in a Fully Abstract Way. CAAP 1988: 271-294