FM 2009 : Formal Methodsby Ana Cavalcanti, Dennis DamsWriting a summary for young readers…For young readersBook data: Open Library