FM 2011: Formal Methodsby Michael ButlerLogic designInformation SystemsComputer scienceSoftware engineeringDevelopmentInformatiqueCongressesSystem designWriting a summary for young readers…For young readersBook data: Open Library