Optimal semantics of data type extensions

Lawrence S. Moss, Satish R. Thatte. Optimal semantics of data type extensions. In Clifford Bergman, Roger D. Maddux, Don Pigozzi, editors, Algebraic Logic and Universal Algebra in Computer Science, Conference, Ames, Iowa, USA, June 1-4, 1988, Proceedings. Volume 425 of Lecture Notes in Computer Science, pages 161-180, Springer, 1988.

@inproceedings{MossT88,
  title = {Optimal semantics of data type extensions},
  author = {Lawrence S. Moss and Satish R. Thatte},
  year = {1988},
  tags = {semantics, data-flow},
  researchr = {https://researchr.org/publication/MossT88},
  cites = {0},
  citedby = {0},
  pages = {161-180},
  booktitle = {Algebraic Logic and Universal Algebra in Computer Science, Conference, Ames, Iowa, USA, June 1-4, 1988, Proceedings},
  editor = {Clifford Bergman and Roger D. Maddux and Don Pigozzi},
  volume = {425},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-97288-9},
}