Formal specification and software developmentby D. BjørnerComputer softwareDevelopmentProgramming languages (Electronic computers)Writing a summary for young readers…For young readersBook data: Open Library