Visual tour of gracefulness graph transformations, with proofs for paths, caterpillars, and double stars.
https://prideout.net/blog/graceful-moves/