Henk Barendregt Arjeh M. Cohen Electronic Communication of Mathematics and the Interaction of Computer Algebra Systems and Proof Assistants. 3-22 2001 32 J. Symb. Comput. 1/2 db/journals/jsc/jsc32.html#BarendregtC01