The computer algebra system SIMATH. - R. Böffgen; M. A. Reichert (EUROCAL, 1987)

Computing the Decomposition of Primes p and p-adic Absolute Values in Semi-simple Algebras over Q. - R. Böffgen; M. A. Reichert (J. Symb. Comput., 1987)

Das Computer-Algebra-System SIMATH in der Zahlentheorie. - R. Böffgen; B. Weis; Horst Günter Zimmer (Innovative Informations-Infrastrukturen, 1988)