The Reasoned Schemer (2005)

by D P Friedman, W E Byrd, O Kiselyov