Reductivity arguments and program construction (1996)

by H Doornbos