帕特里夏·鲍耶;Fabrice骑士;尼古拉斯·马基 关于TPTL和MTL的表达能力。 （英语） Zbl 1209.03010号 Inf.计算。 208，第2期，97-116（2010）. 审核人：安德烈亚斯·赫齐格（图卢兹） MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，《信息计算》。208，第2号，97--116（2010；Zbl 1209.03010） 全文： 内政部
帕特里夏·鲍耶;Fabrice骑士;尼古拉斯·马基 关于第三方贸易税和MTL公司. （英语） Zbl 1140.03303号 Ramanujam，R.（ed.）等人，FSTTCS 2005：软件技术和理论计算机科学基础。第25届国际会议，印度海得拉巴，2005年12月15日至18日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-30495-9/pbk）。计算机科学课堂讲稿3821432-443（2005）。MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，Lect。注释计算。科学。3821432--443（2005年；Zbl 1140.03303） 全文： 内政部