Reinhard Fössmeier: Zur Axiomatisierung logarithmischer und halblogarithmischer Zahlensysteme. Computing 46(2): 175-182 (1991)