RBK89 = U. Ratzel, H. Beer, and F. Käppeler, Technical report KfK-4509, Forschungszentrum Karlsruhe (1989), p. 17.