Formal methods in human-computer interaction by Philippe Palanque | Menrva Books | MenrvaBooks