Title: Lectures on constructive functional programming
First published: 1988