If you're looking for an additional reading on bsts, take a look at Josh Zimmerman's notes. The handout discusses the important aspects of bsts and the solution discusses the proof of the recursive bst_insert.
If you have any comments or see any errors, please let me know.