1
by Sider, Theodore
Published 2001
Clarendon

2
by Sider, Theodore
Published 2011
Oxford University Press