(美)(D.C.萨比斯顿)David C.Sabiston,(美)(H.K.莱尔利)H.Kim Lyerly主编;朱壮涌,梁金铜主译1998 年出版725 页ISBN:7506232235
(美)伯 格(Berg,H.K.)等著;宋国新等译1988 年出版250 页ISBN:7030002792
本书全面地介绍了程序验证理论、规范及有关的方法
(美)福斯特·L.莱因哈特(ForstL.Reinhardt),(美)理查德·H.K.维尔特(RichardH.K.Vietor)著1998 年出版200 页ISBN:7810443666