| title | ISBN-13 (ISBN-10) | year of publication | |
|---|---|---|---|
| Live Data Structures in Logic Programs | 978-0-387-56694-8 (0-387-56694-5) | 1993 | |
| Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation | 978-3-540-56694-6 (3-540-56694-5) | 2008 |
A.M. · Anna Malgorzewicz · Anna Melchior · Anne Milgram · Anny Millecker