"STACS 87, Theoretical Aspects of Computer Science 4 conf" - читать интересную книгу автора (Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing)