FM'99 - Formal Methodsby Jeannette M. Wing, Jim Woodcook, Jim DaviesWriting a summary for young readers…For young readersBook data: Open Library