Refinement in Z and Object-Zby John Derrick, Eerke A. BoitenVerfeinerungZ <Programmiersprache>Object-ZWriting a summary for young readers…For young readersBook data: Open Library
