Baumgartner, Peter Programming Logics, MPI for Informatics, Max Planck Society;
Baumgartner, P., & Furbach, U. (2005). Living Books, Automated Deduction and other Strange Things. In D. Hutter, & W. Stephan (Eds.), Mechanizing Mathematical Reasoning: Techniques, Tools and Applications - Essays in honour of Jörg H. Siekmann (pp. 255-274). New York, USA: Springer.