1. Andrew W. Appel. 2023. Verified Functional Algorithms (Software Foundations Vol. 3). Electronic textbook. Andrew W. Appel. 2023. Verified Functional Algorithms (Software Foundations Vol. 3). Electronic textbook.
2. Efficient Reasoning about Executable Specifications in Coq
3. Avrim Blum. 1991. Algorithms for approximate graph coloring. Ph. D. Dissertation. Avrim Blum. 1991. Algorithms for approximate graph coloring. Ph. D. Dissertation.
4. Avrim Blum and David Karger . 1997. An Õ(n^3/14)-coloring algorithm for 3-colorable graphs. Information processing letters, 61, 1 ( 1997 ), 49–53. Avrim Blum and David Karger. 1997. An Õ(n^3/14)-coloring algorithm for 3-colorable graphs. Information processing letters, 61, 1 (1997), 49–53.
5. Hammer for Coq: Automation for Dependent Type Theory