"Blame assignment for higher-order contracts with intersection and union."

Matthias Keil, Peter Thiemann (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics