P. Cousot, and R. Cousot. POPL '77: Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, page 238-252. ACM Press, (1977)
R. Peters, A. Lipka, M. Özsu, and D. Szafron. CIKM '93: Proceedings of the second international conference on Information and knowledge management, page 403--412. New York, NY, USA, ACM Press, (1993)