Chiyan Chen, Hongwei Xi. Combining programming with theorem proving. In Olivier Danvy, Benjamin C. Pierce, editors, Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005. pages 66-77, ACM, 2005. [doi]