The interprocedural coincidence theorem. Aachener InformatikBerichte Nr. 9127, Rheinisch-Westfalische Technische Hochschule (1991)

by J Knoop, B Steffen