George W. Ernst Rules of Inference for Procedure Calls Acta Inf. 8 1977 145-152 db/journals/acta/acta8.html#Ernst77