The implementation of interactive local state transition systems (1999)

by P Achten, R Plasmeijer
Venue:in Clean, In: Koopman et al. (Ed.): IFL’99, LNCS 1868