Understanding Formal Methods by Jean-Francois Monin & J.F. Monin