, ,
Academic Press
Information and Computation

Ponse, A. (1991). Process expressions and Hoare's logic: showing an irreconcilability of context-free recursion with Scott's induction rule. Information and Computation, 95(2), 192–217.