Ambiguities and Insecurities in PASCAL (Software Practice and Experience, 2015)

(untitled) - Welsh, J; Sneeringer, W; Hoare, C