Martin Kummer Numberings of R<sub>1</sub> union F. 166-186 1988 conf/csl/1988 CSL db/conf/csl/csl88.html#Kummer88 http://dx.doi.org/10.1007/BFb0026301