Trustable communication between mathematical systems (2003)

by J Carette, W Farmer, J Wajs
Venue:Proceedings of Calculemus 2003