1. Maria Paola Bonacina and William McCune. Distributed theorem proving by peers. In 1194 Conference on Automated Deduction (CADE12), pages 841–845, 1994.
2. Judy Crow, Sam Owre, John Rushby, Natarajan Shankar, and Man-dayam Srivas. A Tutorial Introduction to PVS. In WIFT’ 95: Workshop on Industrial-Strength Formal Specification Techniques, April 1995. http://www.csl.sri.com/sri-csl-fm.html .
3. J. Denzinger and Dirk Fuchs. Cooperation in theorem proving by loosely coupled heuristics. Technical Report SR-97-04, University of Kaiserslautern, 1997.
4. R.L. Constable et.al. ImplementingMathematics in the NuPRL Proof Development System. Prentice-Hall, 1986.
5. A. Felty, D. Howe, and F. Stomp. Protocol verification in Nuprl. In CAV’98, Lecture Notes on Computer Science. Springer, 1998.