category E1 Full Written Paper-Refereed Proceedings. MA 27/6/13.