Formal Methods by Beth, E.W.