"Completeness and predicate-based abstract interpretation."

Alan Mycroft (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics