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

[ bib | http ] Back