Theories of Programming and Formal Methodsby Jonathan P. Bowen, Qin Li, Qiwen XuMathematicsWriting a summary for young readers…For young readersBook data: Open Library