By the end of this lesson, you will:

• distinguish between formal and informal specifications
• distinguish concrete from abstract data types
• distinguish immutable from mutable data types
• classify an abstract data type's operations into creators, accessors, and mutators
• answer questions about the behavior of an immutable abstract data by using its algebraic specification to calculate the values of expressions