LOTOS based derivation methodology in the PRODAT project - Fernández A; Quemada J; Vidaller L; Miguel C (Annual Review In Automatic Programming, 1988)