1. Effective coloration;Bean;J. Symbolic Logic,1976
2. On the construction of simple first order formulae without recursive models;Börger;Proc. Symp. Math. Logic,1975
3. On Colouring the Nodes of a Network;Brooks;Proc. Cambridge Phil. Soc.,1941
4. Rekursionstheoretische Untersuchungen über Graphen;Carstens;Habilitationsschrift,1976
5. H.-G. Carstens, Recursive colorings on surfaces, to appear