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