"Resource Contracts for Java."

Rody Kersten, Martin Schäf, Temesghen Kahsai (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics