Citations

• Constable, Robert L. Constructive Mathematics and Automatic Program Writers, Proceedings of the IFIP Congress, North-Holland, 1971, pages 229-233.
  
  
• deBruijn, N. G.,The Mathematical Language Automath: Its Usage and Some of Its Extensions, Symposium on Automatic Demonstration, Lecture Notes in Mathematics, Vol. 125, editor J. P. Seldin and J. R. Hindley, 1970, Springer-Verlag, pages 29-61.
  
  
• Hayden, Mark, The Ensemble System, PhD Thesis, Department of Computer Science, Cornell University, Ithaca, NY, 1998.
  
  
• Kreitz, Christoph, Mark Hayden, and Jason Hickey. A Proof Environment for the Development of Group Communication Systems 1998, CADE 15.
  
  
• Martin-Lof, Per. Constructive Mathematics and Computer Programming, Proceedings of the Sixth International Congress for Logic, Methodology, and Philosophy of Science, 1982, North Holland,Amsterdam, pages 153--175.
  
  
• Scott, D. Constructive Validity, Symposium on Automatic Demonstration, Springer-Verlag, 1970, edited M. Laudelt, D. Lacombe, 5(3), Lecture Notes in Mathematics, New York, pages 237-275.