Describir: Theory of computing systems