Michal Politi David Harel

Michal Politi David Harel is the author of books such as Modeling Reactive Systems With Statecharts.