Abstract State Machines 2004. Advances in Theory and Practiceby Wolf Zimmermann, Bernhard ThalheimWriting a summary for young readers…For young readersBook data: Open Library