Epistemic Programming - Hüsing, Sven; Schulte, Carsten; Winkelnkemper, Felix (Computer Science Education)