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