Describir: Universal algebra for Computer scientists /