Formal methods in human-computer interaction - Harrison, Michael (Cambridge series on human-computer interaction, 1990)