Formal definition of the semantics of programming language statements - Hesselgrave, Mary Ratchford (Univ. Microfilms, 1982)
Hoboken, NJ, Stevens Inst. of Technology, Diss., 1976