Algorithmics: The Spirit of Computing (1987)

by D Harel