Harel D. science of computing : материал технической информации / D. Harel, 1989. - 348 p. - Текст : непосредственный.