The constructive engine (1989)

by Gerard Huet
Venue:In A Perspective in Theoretical Computer Science. World Scientific Publishing