Formal methods an introduction to and overview of the use of formal methods within HCI
Alan John Dix · 1995
this document exhibits dangerous states. It has two main modes, the main mode where you edit the text, a menu and help screen from where you perform filing operations. You switch between these modes with the F1 key. In addition, from the menu you can exit the word processor by hitting the F2 key. These modes and the exit are shown in Figure2.11