1
by Bickerton, Derek
Published 2009
MIT Press

2
by Graedel, T. E.
Published 2010
MIT Press