1. R. Bagnara. Constraint Systems for Pattern Analysis of Constraint Logic-Based Languages. Presented at the First Int'l Workshop on Concurrent Constraint Programming, Venice, Italy, 1995.
2. G. Birkhoff. Lattice Theory. In AMS Colloquium Publication, third ed., 1967.
3. M. Codish, D. Dams, G. Filé, and M. Bruynooghe. Freeness Analysis for Logic Programs — and Correctness? In D. S. Warren, editor, Proc. Tenth Int'l Conf. on Logic Programming, pages 116–131. The MIT Press, Cambridge, Mass., 1993.
4. M. Codish, M. Falaschi, K. Marriott, and W. Winsborough. Efficient Analysis of Concurrent Constraint Logic Programs. In A. Lingas, R. Karlsson, and S. Carlsson, editors, Proc. of the 20th International Colloquium on Automata, Languages, and Programming, volume 700 of Lecture Notes in Computer Science, pages 633–644, 1993.
5. C. Codognet and P. Codognet. A general semantics for Concurrent Constraint Languages and their Abstract Interpretation. In M. Meyer, editor, Workshop on Constraint Processing at the International Congress on Computer Systems and Applied Mathematics, CSAM'93, 1993.