Blending Imperative and Relational Programming.

Timothy A. Budd Blending Imperative and Relational Programming. 58-65 1991 8 IEEE Software 1 db/journals/software/software8.html#Budd91