1. Lecture Notes in Computer Science;A.A. Adams,2003
2. Asperti, A., Guidi, F., Padovani, L., Sacerdoti Coen, C., Schena, I.: Mathematical knowledge management in HELM. Annals of Mathematics and Artificial Intelligence 38(1–3), 27–46 (2003)
3. Lecture Notes in Computer Science;L. Augustsson,1985
4. The Coq proof-assistant,
http://coq.inria.fr
5. de Jonge, M.: A pretty-printer for every occasion. In: Ferguson, I., Gray, J., Scott, L. (eds.) Proceedings of the 2nd International Symposium on Constructing Software Engineering Tools (CoSET2000), University of Wollongong, Australia, pp. 68–77 (June 2000)