Describir: Algebric specification