"The interaction of contracts and laziness."

Markus Degen, Peter Thiemann, Stefan Wehr (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics