How to Teach Problem Solving and Algorithm Design in High Schools by Constructive Induction or How to Reach True Competences in Informatics Education - Juraj Hromkovic; Regula Lacher (Informatics in Education, 2025)