Juraj Hromkovic Nonlinear Lower Bounds on the Number of Processors of Circuits with Sublinear Separators [Citation Graph (0, 0)][DBLP] Inf. Comput., 1991, v:95, n:2, pp:117-128 [Journal]
Alban Ponse Process Expressions and Hoare's Logic: Showing an Irreconcilability of Context-Free Recursion with Scott's Induction Rule [Citation Graph (0, 0)][DBLP] Inf. Comput., 1991, v:95, n:2, pp:192-217 [Journal]