Logic and complexity of synchronous parallel computations - Radziszowski, Stanisław (1979)