Graph theory : an introduction to proofs, algorithms, and applications (CRC Press, 2021)