- Yongxin Zhao, Jin Song Dong, Yang Liu, Jun Sun:
Towards a Combination of CafeOBJ and PAT. Specification, Algebra, and Software 2014: 151-170 - Shusaku Iida, José Meseguer, Kazuhiro Ogata:
Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi. Lecture Notes in Computer Science 8373, Springer 2014, ISBN 978-3-642-54623-5 [contents]