FLODERUS, PETER. International Journal of Foundations of Computer Science Volume: 24 Issue 1 (2013) ISSN: 0129-0541