"High integrity compilation: a case study" - читать интересную книгу автора (Susan Stepney)