Cataño, N.., Pestana J.., & Rodrigues R.. (2010). JFly: A JML-based strategy for incorporating formal specifications into the software development process. INFORUM 2010.
