Jürgen Brauburger Jürgen Giesl Approximating the Domains of Functional and Imperative Programs. 113-136 1999 35 Sci. Comput. Program. 2 db/journals/scp/scp35.html#BrauburgerG99