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