Derivation and Formal Proof of Binary Tree Depth Non-Recursive Algorithm | IEEE Conference Publication | IEEE Xplore