Formal Methods by Paul P. Boca