zbMATH中的参考文献（参考 9篇文章 参考）

1. 傅军；吴金钊；谭红艳：代数转移系统推理的演绎方法（2015）
2. 库西诺，丹尼斯；多利盖兹，达米安；兰波特，莱斯利；默兹，斯蒂芬；里克茨，丹尼尔；凡泽托，赫尔南：TLA（^+）证明（2012）
3. 莱斯利·兰波特：《如何写出21世纪的证据》（2012）
4. Merz，Stephan；Vanzetto，Hernán:与SMT solvers自动验证TLA（^+）证明义务（2012年）
5. Akhtar，Sabina；Merz，Stephan；Quinson，Martin:用于建模算法及其属性的高级语言（2011）
6. 使用多线程Lie（）检查（^ 2007）
7. 兰波特，莱斯利：快速帕克斯（2006）
8. Joshi，Rajeev；Lamport，Leslie；Matthews，John；Tasiran，Serdar；Tuttle，Mark；Yu，Yuan:用TLA（^+）检查缓存一致性协议（2003）
9. Lamport，Leslie:用TLA（^+）指定并发系统（1999）