The maximum size of a graph with prescribed order, circumference and minimum degree - Leilei Zhang (2021)