"Inducing Function Properties from Computation Traces."

Pierpaolo Degano, Franco Sirovich (1979)
a service of Schloss Dagstuhl - Leibniz Center for Informatics