1. Abstract Interpretation of Declarative Languages;Abramsky,1987
2. Logic Programming;Apt,1990
3. Uniform Abstraction, Atomicity and Contractions in the Comparative Semantics of Concurrent Prolog;de Bakker,1988
4. Towards a Formal Semantics for. Concurrent Logic Programming Languages;Beckmann,1986
5. Semantics Models for a Version of PARLOG;de Boer,1989