何塞·梅塞盖尔 二十年的逻辑重写。 (英语) Zbl 1267.03043号 J.日志。阿尔盖布。程序。 81,编号7-8,721-781(2012). 审核人:约翰·乔治·格兰斯特罗姆(苏黎世) MSC公司:03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer},J.Log。阿尔盖布。程序。81,编号7--8,721--781(2012;Zbl 1267.03043) 全文: 内政部
J.A.马汀。;皮门特尔,E。 安全调整合同。 (英语) Zbl 1213.68615号 J.日志。阿尔盖布。程序。 80,编号3-5,154-179(2011).MSC公司:68层35 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Martín}和\textit{E.Pimentel},J.Log。阿尔盖布。程序。80,编号3--5,154-179(2011;Zbl 1213.68615) 全文: 内政部