Míreanna comhchosúla: Mathematical Foundations of Computer Science 2010 :