• ADT completeness and consistency (PDF)
  • Isomorphism (PDF)
  • Array ADT example (PDF)
  • An infamous example (PDF)
  • PhoneDB as ADT -- see file /group/class/c181/phonedbADT.m
  • Using hidden functions (PDF)
  • Necessity of hidden functions (PDF)