Program optimisation, naturally (2000)

by Richard Bird, Jeremy Gibbons, Geraint Jones
Venue:Millenial Perspectives in Computer Science. Palgrave