A Formal Language For Specifying Visual Interface Signifiers. (September 2016)