"Analyzing recursive programs using a fixed-point calculus."

Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato (2009)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics