(美)伯 格(Berg,H.K.)等著;宋国新等译1988 年出版250 页ISBN:7030002792
本书全面地介绍了程序验证理论、规范及有关的方法
(美)(N.巴尔卡)(Nabajyoti Barkati)著;任明等译1996 年出版727 页ISBN:7505334190
(美)Dipto Chakravarty,(美)Casey Cannon著;周长春等译1995 年出版286 页ISBN:7505330535
(美)Craig Witherspoon,(美)Coletta Witherspoon著;李斌,宋如等译1996 年出版395 页ISBN:7505335693