D. Yellin, and E. Mueckstein. Institute of Electrical and Electronics Engineers. Transactions on
Software Engineering, SE-12 (5):
590--599(May 1986)See also: report RC 10957, IBM T.J. Watson Research Center, Yorktown
Heights, NY (January 1985)..
D. Yellin. Reprint of PhD thesis, Department of Comp. Sc., Columbia University,
New York, NY, volume 302. Springer-Verlag, New York--Heidelberg--Berlin, (1988)