Formal Aspects of Human-computer Interaction
ISBN-13: 9780902928756