Walter Dosch, Annette Stümpel Introducing Control States into Communication Based Specifications of Interactive Components. [Citation Graph (0, 0)][DBLP] Software Engineering Research and Practice, 2004, pp:875-882 [Conf]
Walter Dosch, Annette Stümpel Deriving State-Based Implementations of Interactive Components with History Abstractions. [Citation Graph (0, 0)][DBLP] Ershov Memorial Conference, 2006, pp:180-194 [Conf]