"Functional Representation and Program Debugging."

Dean Allemang, B. Chandrasekaran (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics