Reihe Lecture Notes in Computer ScienceAnne Mulkers ×Bücher × Live Data Structures in Logic ProgramsDerivation by Means of Abstract InterpretationAnne MulkersSpringer BerlinSoftcover1993