Specifying the behavior of graphical objects using Esterel (1989)

by Dominique Clément, Janet Incerpi
Venue:In TAPSOFT, Vol.2