Computation on Structures - The Challenge of Seamless Integration of Theory and Rigorous Scientific Practice - Schewe, Klaus-Dieter (Frontiers in Computer Science, 2021)