Leon, D. , Bosquez, O. , Leon, J. (2012). 'Verification and Validation for Java Classes using Design by Contract. The Modular External Approach'. World Academy of Science, Engineering and Technology, Open Science Index 64, International Journal of Computer and Information Engineering, 6(4), 432 - 439.