Separating state and behavior With an ADT you can enforce strict separation of algebra & interpretation (D. Ghosh)…