Carolyn Brown Alan Jeffrey Allegories of Circuits. 56-68 1994 conf/lfcs/1994 LFCS db/conf/lfcs/lfcs1994.html#BrownJ94