John Florentin Martin Gittins Parallel Logic Programming in Strand: A Tutorial. 344-354 1992 ALPUK db/conf/alpuk/alpuk92.html#FlorentinG92