Describir: Time-sharing data processing systems