Applied Formal Verification e-bokEngelsk, 2005