@book{68505,
	author = {Harrison, M. D.},
	title = {Formal methods in human computer interaction /},
	publisher = {Cambridge University Press,},
	year = {2009},
	series = {Cambridge series on human-computer interaction},
	address = {Cambridge :},
	note = {First published 1990}
}