Teaching theoretical computer science using a cognitive apprenticeship approach. - Maria Knobelsdorf; Christoph Kreitz; Sebastian Böhne (SIGCSE, 2014)

Mathematisches Argumentieren und Beweisen mit dem Theorembeweiser Coq. - Sebastian Böhne; Maria Knobelsdorf; Christoph Kreitz (HDI, 2016)

Theorem Provers as a Learning Tool in Theory of Computation. - Maria Knobelsdorf; Christiane Frede; Sebastian Böhne; Christoph Kreitz (ICER, 2017)

Learning how to Prove: From the Coq Proof Assistant to Textbook Style. - Sebastian Böhne; Christoph Kreitz (ThEdu@CADE, 2017)

Different degrees of formality (Verschiedene Formalitätsgrade) - Sebastian Böhne (2019)