万能コンピュータ [[バンノウコンピュータ]] - 寛【訳マーティン デイビス (近代科学社, 2016)
参考文献: p[227]-235