Yehuda Afek Shlomi Dolev Local Stabilizer. 74-84 1997 ISTCS http://computer.org/proceedings/istcs/8037/80370074abs.htm db/conf/istcs/istcs1997.html#AfekD97