"Concepts, techniques and models of computer programming" - читать интересную книгу автора (Peter Van Roy, Seif Haridi)