An Introduction to Algebraic Semiotics, with Application to User Interface Design · Study