-C. Ding/G. Xiao/W. Shan: The Stability Theory of Stream Ciphers, Springer-Verlag 1991