@article{oai:ipsj.ixsq.nii.ac.jp:00141627,
 author = {住井, 英二郎 and SUMII, Eijiro},
 issue = {5},
 journal = {情報処理},
 month = {Apr},
 note = {いわゆる「形式手法」によるソフトウェア検証の基本となる「プログラミング言語理論」の特に基本的な部分を，中学～大学1年程度の数学のみを用いて，できるだけ平易に（ただし実質的詳細にも踏み込んで）紹介する．},
 pages = {434--437},
 title = {いまさら聞けない! コンピュータの数学：1. プログラミング言語の数学},
 volume = {56},
 year = {2015}
}