IEEE Software 8(1) January 1991

• Budd, Tim (1991) Budd, Tim "Blending Imperative and Relational Programming"