category e1 Full written paper- Refereed Proceedings, author - Colin Higgins signed VUIR pt.20/7/12 LL 25.5.16