Interactors and Haggis: Executable specifications for interactive systems.

Meurig Sage Chris Johnson Interactors and Haggis: Executable specifications for interactive systems. 93-108 1997 conf/dsvis/1997 DSV-IS db/conf/dsvis/dsvis1997.html#SageJ97