@article{oai:nanzan-u.repo.nii.ac.jp:00000009,
 author = {真野, 芳久 and MANO, Yoshihisa},
 journal = {アカデミア. 数理情報編 : 南山大学紀要, Academia. Mathematical sciences and information engineering : journal of the Nanzan Academic Society},
 month = {Mar},
 pages = {53--62},
 title = {ループ不変図式に基づく文芸的プログラミングのための会話型支援システムに向けて},
 volume = {1},
 year = {2001},
 yomi = {マノ, ヨシヒサ}
}