Computer-Aided Specification Techniquesby J. Demetrovics, Elod Knuth, P. RadoComputer softwareWriting a summary for young readers…For young readersBook data: Open Library