Parameter-passing mechanisms and nondeterminism
Matthew Hennessy, Edward A. Ashcroft · 1977
The problem of defining an adequate semantics for recursive definitions which allow various types of parameter-passing mechanisms has generated a considerable amount of interest in the literature. (See [B1], [M4], [R3], [V2]) Consider for example the well-known recursive definition