Describir: Formal aspects of computing