Real-size Compiler Writing Using Prolog with Arrows.

Jean-François Monin Real-size Compiler Writing Using Prolog with Arrows. 188-201 1991 ICLP db/conf/iclp/iclp91.html#Monin91