"Rational Spaces and Set Constraints."

Dexter Kozen (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics