,
Academic Press
Information and Computation

de Bakker, J. (1991). Comparative semantics for flow of control in logic programming without logic. Information and Computation, 94(2), 123–179.