Adiabatic Logic - Teichmann, Philip (Springer Netherlands, 2012)