Book

Constructive foundations for functional languages

by Raymond Turner