Uniform abstraction, atomicity and contractions in the comparative semantics of Concurrent Prolog - Bakker, Jacobus W. de 1939-2012; Kok, Joost N. (1988)