Interaktive Beweissysteme, ihre Eigenschaften und deren Verhalten unter Komposition. - Andreas Furch (Papierflieger, 1998)

An Efficient Barrett Reduction Algorithm for Gaussian Integer Moduli. - Malek Safieh; Andreas Furch; Fabrizio De Santis (ARITH, 2023)