Mechanized reasoning about functional programs (1994)

by S Mintchev
Venue:Functional Programming