@Article{KoePenSchStu2021:ForFouNatInNapSad,
	author={Koepke, Peter and Penquitt, Jan and Schütz, Marcel and Sturzenhecker, Erik},
	title={Formalizing Foundational Notions in {Naproche}-{SAD}},
	year={2020},
}