M. M. Garcia and M. C. F. Francisco, “Integrated development environment for program logic formulation”, APHERJ, vol. 2, no. 2, Nov. 2015.