Flavia M. Pagés , Rodriguez (1979) Adatstruktúrák implemetálása és formális leírása. Masters, József Attila Tudományegyetem.