"Embedding instructive assertions in program design."

David Ginat (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics