zbMATH中的参考文献（参考文献10条)

1. 安托万.迪福内：改进高阶证明步骤的自动化（2021）
2. 傅君；吴金钊；谭红艳：代数转换系统推理的演绎方法（2015）
3. 库西诺，丹尼斯；多利吉，达米安；兰波特，莱斯利；默兹，斯蒂芬；里基茨，丹尼尔；Vanzetto，Hernán:TLA（^+）证明（2012）
4. 莱斯利·兰波特：《如何写出21世纪的证据》（2012）
5. 默兹，斯蒂芬；Vanzetto，Hernán:与SMT solvers自动验证TLA（^+）证明义务（2012年）
6. 阿赫塔尔，萨比纳；默兹，斯蒂芬；Quinson，Martin:一种用于建模算法及其属性的高级语言（2011）
7. Lamport，Leslie:用（^+）CAL检查多线程算法（2007）
8. 兰波特，莱斯利：快速帕克斯（2006）
9. 乔希，拉吉耶夫；兰波特，莱斯利；马修斯，约翰；塔什兰，塞尔达尔；塔特尔，马克；Yu，Yuan:用TLA（^+）检查缓存一致性协议（2003）
10. Lamport，Leslie:用TLA（^+）指定并发系统（1999）