Harel, David. Algorithmics spirit of computing by David Harel. - Reading (Mass) Addison-Wesley 1987 - xiv, 425p ISBN: 0201192404 Dewey Class. No.: 001.6 / N87