Algebraic semiotics, proofWebs, and distributed cooperative proving (1997)

by Joseph Goguen, Akira Mori, Kai Lin
Venue:In Proceedings, User Interfaces for Theorem Provers (Sophia Antipolis