Computer-aided specification techniques /János Demetrovics, Előd Knuth, Péter Radó. - Demetrovics, János.
Bibliography: tr.110-114.