Patrick W. Dymond Stephen A. Cook Complexity Theory of Parallel Time and Hardware 205-226 Inf. Comput. March 1989 80 3 db/journals/iandc/iandc80.html#DymondC89