@article{oai:ipsj.ixsq.nii.ac.jp:00008474,
 author = {情報処理学会PL/I研究委員会, : and 主査：池野, 信一 and 委員：新井, 克彦 and 淵, 一博 and 竹下, 亨 and 苅部, 英司 and 春原, 猛 and 水野, 忠則 and 高橋, 哲夫 and Ikeno, Shinichi and Arai, Katsuhiko and Fuchi, Kazuhiro and Takeshita, Tohru and Karibe, Hideshi and Sunohara, Takeshi and Mizuno, Tadanori and Takahashi, Tetsuo},
 issue = {8},
 journal = {情報処理},
 month = {Aug},
 title = {PL/Iの形式的定義について（1）},
 volume = {11},
 year = {1970}
}