Formal Methods Teaching More Books Like This