Ehud Y. Shapiro Systems Programming in Concurrent Prolog. 93-105 1984 POPL db/conf/popl/popl84.html#Shapiro84