Garcia, M. M.; Francisco, M. C. F. Integrated Development Environment for Program Logic Formulation. APHERJ 2015, 2.