Verification of Programs with Procedure-Type Parameter.

George W. Ernst Jainendra K. Navlakha William F. Ogden Verification of Programs with Procedure-Type Parameter. 149-169 1982 18 Acta Inf. db/journals/acta/acta18.html#ErnstNO82