Cornelis Huizing, Rob Gerth, Willem P. de Roever. Modeling Statecharts Behaviour in a Fully Abstract Way. In Max Dauchet, Maurice Nivat, editors, CAAP 88, 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988, Proceedings. Volume 299 of Lecture Notes in Computer Science, pages 271-294, Springer, 1988.
Abstract is missing.