AVTOMATIZIROVANNYJE METODY SPECIFIKACII - Demetrovics, J. (Mir, 1989)