@misc{oai:teapot.lib.ocha.ac.jp:00007211,
 author = {淺井, 健一 and ASAI, Kenichi},
 month = {Sep},
 note = {application/pdf, その他},
 title = {関数型言語による高信頼性プログラミング},
 year = {2009}
}