Combining programming with theorem proving (2005)

by Chiyan Chen, Hongwei Xi
Venue:In ICFP ’05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming