"Accurate Programming: Thinking about programs in terms of properties"

Walid Taha, Verónica Gaspes, Rex L. Page (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics