Title: Feasible computation in higher types
First published: 1991