Old Beaver page http://www.eecs.berkeley.edu/~jha/beaver.html
New Beaver page at UCLID wiki http://uclid.eecs.berkeley.edu/Beaver
Beaver experiment page http://www.eecs.berkeley.edu/~jha/beaver-exp-html/experiments.html