"Concepts, Techniques, and Models of Computer Programming" - читать интересную книгу автора (Peter Van Roy, Seif Haridi)