Hishinuma, N. , Igari, J. , Yoshioka, R.. "A Method to Annotate Programs with High-Level Knowledge of Computation". World Academy of Science, Engineering and Technology, Open Science Index 62, International Journal of Computer and Systems Engineering, (2012), 6(2), 201 - 208.