1.  Introduction

2.  The Rolodex User Interface

3.  Defining Objects and Operations

4.  Formal Specification with Preconditions and Postconditions

5.  User-Level Refinements and Enhancements

6.  Rolodex File Operations

7.  Considering Other Interface Styles