The RAISE specification language (BCS practitioner series, 1992)