1
by Dolev, Yuval
Published 2007
MIT Press

2
by Hoy, David Couzens
Published 2009
MIT Press

3
by Campbell, Joseph Keim
Published 2010
MIT Press

4
Published 2014
The MIT Press