No. 140 (1981): PB-140 Program Transformations in a Denotational Setting

Published: 1981-11-01