Martin Henz, Aquinas Hobor: Teaching Experience: Logic and Formal Methods with Coq. CPP 2011: 199-215