A method for determining the side effects of procedure calls - Banning, John P. (Univ. Microfilms Internat., 1981)
Stanford Univ., Diss., 1978