"Baltic Computer Science" - читать интересную книгу автора (Janis Barzdins, Dines Bjorner)