2
by Davis, E. P.
Published 1992
Clarendon

3
by Davis, E. P.
Published 2001
MIT Press