Open-List Abstraction
lAn extension of Peano ideas
lProvides a way to create and manipulate lists in a programming language
lAll definitions have a mathematical basis.
lIn the text, we refer to
linformation structures (abstraction and presentation) vs.
ldata structures (implementation and representation).