"Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation (Lecture Notes in Computer Science)" - читать интересную книгу автора (Anne Mulkers)