Describir: Formal models in programming :