Harvey Abramson Sequential and Concurrent Deterministic Logic Grammars. 389-395 1986 conf/iclp/1986 ICLP db/conf/iclp/iclp86.html#Abramson86