@inproceedings{sel69,
    author = {Seki Hiroyuki and Nabika Eiji and Matsumura Takashi and Sugiyama Yuji and Fujii Mamoru and Torii Koji and Kasami Tadao},
    title = {{A Processing System for Program Specifications in a Natural Language}},
    booktitle = {IEEE HICSS-21},
    year = 1988,
    month = jan,
}