Táto práca sa zaoberá 2-3 stromami a červeno-čiernymi stromami.
Implemetuje tieto dátové štruktúry a rovnako aj základné operácie
používané na prácu so stromami: príslušnosť k stromu, vkladanie
prvku a odoberanie prvku. Obsahuje aj formálnu špecifikáciu týchto
operácií, môže mať teda východiskovú pozíciu pri verifikácii ich
implementácie. Práca tiež môže slúžiť na rozšírenie výučby
deklaratívneho programovania.