A Pragmatic Task Design Approach Based on a Ward/Mellor Real-Time Structured Specification. - Javier Tuya; Luciano Sánchez; R. Zurita; José A. Corrales (ESEC, 1993)