向殿政男
『Fail-Safe論理の理論的研究』明治大学〈博士論文(甲第37号)〉、1970年3月、NAID 500000406987。