Implementierung des AVL-Baumes:
TYPE tree = ?node;
node = RECORD
key : elem;
height : integer;
left, right : ?node
FUNCTION balance (t: tree): integer;
{liefert für einen gegebenen AVL-Baum seinen Balancierungsfaktor zurück}
PROCEDURE insert (t: tree, e: elem);
{fügt e in den AVL-Baum t ein und liefert eine balancierte Version von t zurück - rekursive Prozedur!}