@article{oai:shizuoka.repo.nii.ac.jp:00004702,
 author = {白井, 靖人},
 issue = {12},
 journal = {情報処理},
 month = {Dec},
 note = {application/pdf},
 pages = {1692--1693},
 title = {90-42 形式的手法にまつわる7つの神話},
 volume = {31},
 year = {1990}
}