Henk Doornbos

• Reductivity arguments and program construction