Theories of translation correctness for concurrent programming languagesby Mark MillingtonWriting a summary for young readers…For young readersBook data: Open Library