Kevin J. Compton Claude Laflamme An Algebra and a Logic for NC¹ 12-21 conf/lics/LICS3 1988 LICS db/conf/lics/lics88.html#ComptonL88