"Semantic Inspection of Software Artifacts from Theory to Practice (Linköping studies in science and technology)" - читать интересную книгу автора (Tim Heyer)