"Mathematical foundations of software engineering: a roadmap."

T. S. E. Maibaum (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics