Verification of programs with procedure-type parameters (1982)

by G W Ernst, J K Navlakha, W F Ogden
Venue:Acta Informatica