Program analysis matters (1991)

by Carsten K Gomard