Blinde probabilistische Beweisverifikation: ein Zwei-Phasen-Ansatz. - Eric Claus Schank (1996)