Title: Formal Aspects of Human-computer Interaction