\Head{}
\L{\LB{\Proc{search}    \K{procedure} search\(key {\DP} typekey{\PC} t {\DP} btree\){\PC}}}
\L{\LB{}}
\L{\LB{    \K{var} i {\DP} integer{\PC}}}
\L{\LB{    \K{begin}}}
\L{\LB{    \K{if} t\=\K{nil} \K{then} \C{}\{\*\*\* Not Found \*\*\*\}\CE{}}}
\L{\LB{        notfound\(key\)}}
\L{\LB{    \K{else} \K{with} t\^ \K{do} \K{begin}}}
\L{\LB{        i {\DP}\= $1${\PC}}}
\L{\LB{        \K{while} \(i\<d\) \K{and} \(key\>k\[i\]\) \K{do} i {\DP}\= i\+$1${\PC}}}
\L{\LB{        \K{if} key \= k\[i\] \K{then}   \C{}\{\*\*\* Found \*\*\*\}\CE{}}}
\L{\LB{             found\(t\^{\CO} i\)}}
\L{\LB{        \K{else} \K{if} key \< k\[i\] \K{then} search\(key{\CO} p\[i\-$1$\]\)}}
\L{\LB{             \K{else}               search\(key{\CO} p\[i\]\)}}
\L{\LB{        \K{end}}}
\L{\LB{    \K{end}{\PC}}}
