马德拉，亚历山大;路易斯·巴博萨。;罗尔夫·亨尼克;马丁斯（Manuel A.Martins）。 反应系统逐步发展的逻辑。 （英语） Zbl 1400.68125号 西奥。计算。科学。 744, 78-96 (2018).MSC公司：60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Madeira}等人，Theor。计算。科学。744，78-96（2018；Zbl 1400.68125） 全文： 内政部 链接
亚历山大·马德拉;路易斯·巴博萨。;罗尔夫·亨尼克;马丁斯（Manuel A.Martins）。 带粘合剂的动态逻辑及其在反应系统开发中的应用。 （英语） Zbl 1482.68143号 Sampaio，Augusto（编辑）等人，《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会，中华民国台湾台北，2016年10月24日至31日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9965, 422-440 (2016).MSC公司：60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Madeira}等人，Lect。注释计算。科学。9965，422--440（2016；Zbl 1482.68143） 全文： 内政部 链接