片山卓也
法令工学の実践 国民年金法の述語論理による記述と検証、JAIST Press(電子出版)、2019年・2021年(第3版)