The Calculus of Computation The Calculus of Computation
2007
Time for Verification Time for Verification
2010