| 1997 Müller, Harald; Wisotzki, Simone (1997): Verification: Between the Desirable and the Feasible .
