Stephen A. Cook The Classifikation of Problems which have Fast Parallel Algorithms. 78-93 1983 conf/fct/1983 FCT db/conf/fct/fct83.html#Cook83