B.: The interprocedural coincidence theorem (1992)

by J Knoop, Steffen
Venue:In: Comp. Construct