Avtomatizirovannyje metody specifikacii - Demetrovics, J.; Knuth, E.; Rado, P. (Moskva : Mir, 1989)