Contract-Java: Design by Contract in Java with Safe Error Handling. - Miguel Oliveira e Silva; Pedro G. Francisco (SLATE, 2014)