Paul D. Forman

• A static analysis of FORTRAN IV