Statecharts: A Visual Formalism for Complex Systems (1987)

by David Harel
Venue:Science of Computer Programming