1988]. "Automatic Program Analysis", J.A.C.M. 35 (1988)

by T Hickey, J Cohen