"Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings " - читать интересную книгу автора (Dines Bjorner, Manfred Broy, Igor V. Pottosin)