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, 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)..
H. Ganzinger, and R. Giegerich. ACM SIGPLAN '84 Symp. on Compiler Construction, page 157--170. Montréal, ACM press, (June 1984)Published as ACM SIGPLAN Notices, 19(6).