"Defining and continuous checking of structural program dependencies."

Michael Eichberg et al. (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics