1. S. Abramsky and C. Hankin, editors. Abstract Interpretation of Declarative Languages. Ellis Horwood, 1987.
2. Lect Notes Comput Sci;J. Bailey,1999
3. Lect Notes Comput Sci;J. Bailey,2000
4. Lect Notes Comput Sci;E. Baralis,1995
5. A. Cortesi, A. Dovier, E. Quintarelli, and L. Tanca. Operational and abstract semantics of a query language for semi-structured information. In Proc. 6th Int. Workshop on Deductive Databases and Logic Programming (DDLP’98), pages 127–140 GMD Report 22, ISSN 1435-2702, 1998.