Mathematical Foundations of Programming Language Semanticsby Michael Main, Austin Melton, Michael MisloveWriting a summary for young readers…For young readersBook data: Open Library
