Z形式规约的自动求精研究2008.12王宏生, 著 Z规约切片的研究2006.12吴方君, 著 语境、规约、形式2012.4方开瑞, 著 形式语言与自动机2005.07陈文宇, 编著 形式语言与自动机导论2005.08(美) 林兹 (Linz,P.) , 著 形式语言与自动机2015.朱保平, 李千目, 编著 形式的生命2011.1(法) 福西永, 著 重味强子态的QCD求和规则研究2015.7张建荣, 著 形式语言与自动机理论引论2017.蒋宗礼, 姜守旭, 编著 被规约的视觉2018.8李岩, 著 詹姆逊形式理论研究2020.2王瑞瑞, 著 形式化软件规约Radl获取、验证与确认方法2014.王昌晶, 罗海梅, 著 计算系统的形式语义2017.陆汝钤, 著 形式主义批评的终结2009.9何桂彦, 著 艺术形式2016.9(美) 帕特里克·弗兰克 (Patrick Frank) , 著