Deriving programs using higher-order generalization
Tom 21 / 1988
Banach Center Publications 21 (1988), 359-368
DOI: 10.4064/-21-1-359-368
