Allan Borodin Danny Dolev Faith E. Fich Wolfgang J. Paul 87-93 conf/stoc/STOC15 1983 STOC db/conf/stoc/stoc83.html#BorodinDFP83