Formal mechanization of device interactions with a process algebraby E. Thomas SchubertElectronic data processingWriting a summary for young readers…For young readersBook data: Open Library