Gary T.Leavens。;Leino，K.Rustan M。;彼得·米勒 顺序面向对象程序的规范和验证挑战。 （英语） Zbl 1121.68074号 正式Asp。计算。 19，第2期，159-189（2007）.MSC公司：60年第68季度 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{G.T.Leavens}等人，正式Asp。计算。19，第2号，159--189（2007；Zbl 1121.68074） 全文： 内政部 链接
Gary T.Leavens。;唐·皮戈齐 用子类型扩展的类型同态关系。 （英语） 兹比尔1518.68056 Brookes，Stephen（编辑）等人，《编程语义的数学基础》。第七届国际会议，1991年3月25日至28日，美国宾夕法尼亚州匹兹堡。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。598, 144-167 (1992).MSC公司：68号30 03B40型 68问题55 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{G.T.Leavens}和\textit{D.Pigozzi}，莱克特。注释计算。科学。598144-167（1992年；Zbl 1518.68056） 全文： 内政部 链接