Juan Bicarregui, Brian Matthews: Formal Methods in Practice: A Comparison of Two Support Systems for Proof. SOFSEM 1995: 184-205