Oscar Díaz, Suzanne M. Embury: Generating Active Rules from High-Level Specifications. BNCOD 1992: 227-243