Deriving State-based Implementations of Interactive Components with History Abstractions.

@article {563,
	title = {Deriving State-based Implementations of Interactive Components with History Abstractions.},
	year = {2006},
	note = {In: I. Virbitskaite, A. Voronkov (eds.): Proceedings of the Sixth International Andrei Ershov Memorial Conference: Perspectives of System Informatics (PSI 2006). Novosibirsk, Russia, June 27-30, 2006. Novosibirsk, Russia: A.P. Ershov Institute of Informatics Systems 2006, 99-109},
	author = {W. Dosch and A. St{\"u}mpel}
}