Extending Java with Refinements

Recommended citation: Catarina Gamboa, Paulo Santos, Alcides Fonseca. (2020). Extending Java with Refinements. Program Semantics, Specification and Verification http://academicpages.github.io/files/paper2.pdf