<a href="http://www.comlab.ox.ac.uk/archive/formal-methods.html"> Bowen' Formal Methods Web Page</a> and a <a href="http://www.cs.utexas.edu/users/boyer/courses/backup-formal-methods.html"> backup copy</a>.    <p>
