Relational Program Derivation and Context–free Language Recognition (1995)

by R Bird, O de Moor
Venue:A Classical Mind: Essays