The external consistency of abstract data types

Avi Silberschatz, Richard B. Kieburtz. The external consistency of abstract data types. SIGPLAN Notices, 15(2):64-73, 1980. [doi]

@article{SilberschatzK80-0,
  title = {The external consistency of abstract data types},
  author = {Avi Silberschatz and Richard B. Kieburtz},
  year = {1980},
  doi = {10.1145/947586.947593},
  url = {https://doi.org/10.1145/947586.947593},
  researchr = {https://researchr.org/publication/SilberschatzK80-0},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {15},
  number = {2},
  pages = {64-73},
}