"Resource Contracts for Java."

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