Construction and Analysis of Transition Systems with MECby A. Arnold, Didier BegayElectronic data processingWriting a summary for young readers…For young readersBook data: Open Library