Books

Short works

Books : reviews

David Harel.
Algorithmics: the spirit of computing.
Addison-Wesley. 1987

rating : 2.5 : great stuff

An excellent and readable introduction to algorithms, computability and complexity

David Harel, Michal Politi.
Modeling Reactive Systems with Statecharts: the Statemate approach.
McGraw-Hill. 1998

David Harel.
Computers Ltd: what they really can't do.
OUP. 2000