- プログラミング Coq 〜 絶対にバグのないプログラムの書き方 〜 -- http://www.iij-ii.co.jp/lab/techdoc/coqt/ - ソフトウェアの基礎(プログラミングとプログラミング言語の数学的理論) -- http://proofcafe.org/sf/Preface_J.html