Describir: The mathematical theory of coding