AUTHOR=Schewe Klaus-Dieter TITLE=Computation on Structures - The Challenge of Seamless Integration of Theory and Rigorous Scientific Practice JOURNAL=Frontiers in Computer Science VOLUME=3 YEAR=2021 URL=https://www.frontiersin.org/journals/computer-science/articles/10.3389/fcomp.2021.670602 DOI=10.3389/fcomp.2021.670602 ISSN=2624-9898