Describir: Mathematical Foundations of Computer Science 2003. MFCS :