Chapter 6: Specification and Abstraction - Online Test