Barboni, Eric, Martinie De Almeida, Celia, Navarre, David, Palanque, Philippe and Winckler, Marco Antonio (2014) Bridging the Gap between a Behavioural Formal Description Technique and User Interface description language: Enhancing ICO with a Graphical User Interface markup language. Science of Computer Programming, 86. pp. 3-29.