"Software analysis: a roadmap: a roadmap."

Daniel Jackson, Martin C. Rinard (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics