Floderus. International journal of foundations of computer science (2013) ISSN: 0129-0541 Online ISSN: 1793-6373