Describir: Logical design for computers and control