"Modular set-based analysis from contracts."

Philippe Meunier, Robert Bruce Findler, Matthias Felleisen (2006)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics