"Trends, Techniques, and Problems in Theoretical Computer Science, 4 conf., 1986" - читать интересную книгу автора (Alica Kelemenova, Jozef Kelemen)