A proof tool for reasoning about functional programs (1996)

by G Collins
Venue:in: 9th International Conference of Theorem Proving in Higher Order Logics