Formal methods in human-computer interaction - Harrison, Michael (Cambridge University Press, 1990)