I will review a proof of residually finiteness of free groups and free-by-cyclic groups. However, this method fails to work for ascending HNN-extensions of free groups. If time permits, I will give a sketch of Borisov–Sapir's proof that ascending HNN-extensions are residually finite.