"Embedded contract languages."

Manuel Fähndrich, Michael Barnett, Francesco Logozzo (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics