In several 4-manifold textbooks, when handle moves (creation, cancellation, sliding) are discussed, they are explained using very helpful drawings.
However, I would like to know if there is a reference for a more rigorous proof.
It is sometimes hinted that this would use Morse theory...but I think I haven't found any mention of this in Milnor's classical book on the subject.
Any reference or proof is welcome.