VDM '90. VDM and Z - Formal Methods in Software Developmentby Dines Bjørner, C.A.R. Hoare, Hans LangmaackWriting a summary for young readers…For young readersBook data: Open Library