Title: An introduction to data abstraction using algebraic axioms