Theories of Programming and Formal Methodsby Zhiming Liu, Jim Woodcock, Huibiao ZhuWriting a summary for young readers…For young readersBook data: Open Library