穆罕默德·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。;Jan Friso,格鲁特 SOS格式和元理论:20年后。 (英语) Zbl 1111.68069号 西奥。计算。科学。 373,第3号,238-272(2007).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Mousavi}等人,Theor。计算。科学。373,第3号,238--272(2007;Zbl 1111.68069) 全文: 内政部
何塞·梅塞盖尔;格里高·罗什乌 重写逻辑语义项目。 (英语) Zbl 1111.68068号 西奥。计算。科学。 373,第3期,213-237(2007).MSC公司:68问题55 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{G.Rošu},Theor。计算。科学。373,第3号,213--237(2007;Zbl 1111.68068) 全文: 内政部 链接