Feasibly constructive analysis (1987)

by H Hoover