Algorithmics: The spirit of computing (1987)

by D Harel