MTT公司 27篇文献引用(2008–2023) 软件作者： Durán，F.，Lucas，S.，Meseguer，J。 相关软件： 莫德；AProVE；OBJ3… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
第3章 10篇文献引用(2010–2020) 软件作者： 弗朗西斯科·杜兰；何塞·梅塞格尔 相关软件： 莫德；CRC 3；MTT… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）…
朱丽安 2份文件引用(2015) 软件作者： 马利亚阿尔普特；黛米斯·巴利斯；弗朗西斯科·弗雷奇纳；丹尼尔·罗梅罗 相关软件： 莫德；阿尼玛；第3章… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）