Jovan Dj. Golic Renato Menicocci Computation of Edit Probabilities and Edit Distances for the A5-Type Keystream Generator. 356-374 2002 18 J. Complexity 1 http://dx.doi.org/10.1006/jcom.2001.0624 db/journals/jc/jc18.html#GolicM02