1.  Introduction
     1.1. Motivation
     1.2. Notation
     1.3. Scope of the Primer
     1.4. What Is a ``Requirement'', What Is a ``Specification''?

2.  The Rolodex User Interface

3.  Defining Objects and Operations
     3.1. Interface Heuristics
     3.2. Heuristic Application
     3.3. Further Refinement

4.  Formal Specification with Preconditions and Postconditions
     4.1. Notational Summary
     4.2. Formal Specification Maxims
     4.3. Basic Rolodex Definitions
     4.4. Basic User-Level Requirements

5.  User-Level Refinements and Enhancements
     5.1. Pattern-Based Search
     5.2. Historical Dialogs
     5.3. Check Pointing
     5.4. Undo
     5.5. Security

6.  Rolodex File Operations
     6.1. Abstract File Operations
     6.2. More Concrete File Operations
     6.3. Considering a Rolodex System Workspace

7.  Considering Other Interface Styles