@book(Carl2021,
 author       = {Merlin Carl},
 title        = {Diproche -- Entwurf, Umsetzung und Erprobung eines automatischen Systems zur Unterst\"utzung des Beweisenlernens bei Studienanf\"angerInnen},
)
@article(Carl20,
 author       = {Merlin Carl},
 year         = {2020},
 title        = {Number Theory and Axiomatic Geometry in the Diproche System},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {328},
 pages        = {56--78},
 doi          = {10.4204/eptcs.328.4},
)
@book(Chartrand,
 author       = {Gary Chartrand},
 year         = {2018},
 title        = {Mathematical proofs : a transition to advanced mathematics},
 publisher    = {Pearson},
 address      = {New York, NY},
)
@phdthesis(Cramer,
 author       = {Marcos Cramer},
 title        = {Proof-checking mathematical texts in controlled natural language},
)
@article(Mejia-Ramos,
 author       = {Mej{\'{\i}}a-Ramos, Juan Pablo and Kristen Lew and Jimmy de la Torre and Keith Weber},
 year         = {2017},
 title        = {Developing and validating proof comprehension tests in undergraduate mathematics},
 journal      = {Research in Mathematics Education},
 volume       = {19},
 number       = {2},
 pages        = {130--146},
 doi          = {10.1080/14794802.2017.1325776},
)
@inbook(CM,
 author       = {N. Carter, K. Monks},
 title        = {Using the Proof-Checking Word Processor Lurch to Teach Proof-Writing},
)
@inproceedings(CM13,
 author       = {N. Carter, K. Monks},
 title        = {A Word Processor that Can GradeStudent's Proofs},
 booktitle    = {Workshops and Work in Progress at CICM},
)
@article(CK20,
 author       = {Merlin Carl und Regula Krapf},
 title        = {Das Diproche-System -- ein automatisierter Tutor f\IeC{\"u}r den Einstieg ins Beweisen},
)
@inbook(Schroeder,
 author       = {Schr\IeC{\"o}der, B.},
 title        = {Die kleinen Welten mathematischer Beweise},
)