Author: Eric C. R. Hehner
Publications
Publication period start: 1984
Publications
Hehner, Eric C. R. (1984): Predicative Programming, Part I. In Communications of the ACM, 27 (2) pp. 134-143.
Hehner, Eric C. R. (1984): Predicative Programming, Part II. In Communications of the ACM, 27 (2) pp. 144-151.