M. Toussaint, and P. Wolper. Distributed Computing And Cryptography, volume 2 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 245-. DIMACS/AMS, (1989)
S. Autexier, S. Merz, L. van der Torre, R. Wilhelm, and P. Wolper. Trustworthy Software, volume 3 of OASICS, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)