Using formal specifications to enhance the software testing processby Robert M. HieronsWriting a summary for young readers…For young readersBook data: Open Library