A compositional semantics for concurrent prolog - Kok, Joost N. (Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS, 1988)