Mathematics Of Program Construction door Dexter C. Kozen