Bruno Buchberger, Tudor Jebelean,
"Theorema: Computation and Deduction in Natural Style"
, in J. Grabmeier, E. Kaltofen, V. Weispfennig: Computer Algebra Handbook, Springer 2003, Seite(n) 453-454, 2003, ISBN: 3-540-65466-6
Original Titel:
Theorema: Computation and Deduction in Natural Style