"Hehner E.C.R. A practical theory of programming (2ed., 2004)(242s).pdf" - читать интересную книгу автора