形式的生成2018.12周庆, 著 形式化软件规约Radl获取、验证与确认方法2014.王昌晶, 罗海梅, 著 形式的独奏2011.12罗小茗, 著 感性的形式2016.5杨小滨, 著 形式逻辑导论2008.06刘汉民, 主编 形式逻辑浅谈2015.7袁晓茂, 编著 经典自守形式专题2016.11(波) 亨里克·伊万涅茨 (Henryk Iwaniec) , 著 形式至上2006.赵钧, 唐玮, 编著 形式逻辑原理2007.04诸葛殷同等, 著 形式逻辑初稿2015.12王立吾, 编著 常见假冒伪劣商品识别手册2005.12杜士庭, 主编 农药识假辨劣与安全使用手册2019.1农业农村部农药检定所, 编 新编形式逻辑2008.01张起建, 编著 权力的形式2014.4(法) 扎尔卡, 著 生命的形式2014.11孙南速, 著