Stephen Sommerville

• A review of formal methods in HCI