Theoretical Aspects of Computing - ICTAC 2022by Helmut Seidl, Zhiming Liu, Corina S. PasareanuWriting a summary for young readers…For young readersBook data: Open Library