二叉排序树结点的删除与递归的设计思路

关于二叉排序树删除结点的问题。一遇到递归就有点晕。
想问问大家在设计递归时是什么样的思路，递归程序是怎么设计的？还有设计出递归程序时你怎么验证它是正确的？ 想问问大家在设计递归时是什么样的思路