Special Issue on Theorem Provers and Functional Programming
Tom Melham
Journal
Journal of Functional Programming
Month
March
Number
2
Pages
i−ii
Volume
9
Year
1999
Tom Melham