1. Braun,H. (1986) Komplexität von Berechnungen auf der Datenstruktur der binären Wörter mit Konkatenation, Interner Bericht der Fakultät für Informatik der Universität Karlsruhe
2. LNCS;A. Blass,1984
3. LNCS;P. Berman,1982
4. Harel, D. (1984) Dynamic Logic, In: D. Gabbey & F. Guenther (eds), Handbook of Philosophical Logic, Reidel Publishing, Dordrecht, pp. 496–604
5. Hawrusik,F., Venkatamaran,K.N., Yasuhara,A. (1981) Classes of functions for computing on binary trees, STOC, pp. 19–27