Lectures on constructive functional programming by Bird, R.S, Oxford University Computing Laboratory., Programming Research Group 0 Type: Book
