A first order theory for the parallel complexity class NC (1989)

by P Clote