## Binary Search Trees

### Citation

Viktor Kuncak.
Binary search trees.
The Archive of Formal Proofs, April 2004.
Formal proof development.### BibTex Entry

@misc{Kuncak04BinarySearchTrees,
author = {Viktor Kuncak},
title = {Binary Search Trees},
howpublished = {The Archive of Formal Proofs},
url = {http://afp.sourceforge.net/entries/BinarySearchTree.shtml},
month = {April},
note = {Formal proof development},
year = 2004
}