Barefoot, Casey, Fisher, Fraughnaugh, Harary, 1995. Size in maximal triangle-free graphs and minimal graphs of diameter 2 138.. https://doi.org/10.1016/0012-365x(94)00190-t