Formal methods in human-computer interaction | lit.salon