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