Mulkers A. Live data structures in logic programs : Derivation by means of abstract interpretation / A.Mulkers, 1993. - 220 p. - Текст : непосредственный.