A Theoretical Survey of User Interface Description Languages: Preliminary Results | IEEE Conference Publication | IEEE Xplore