Parameterized Data Types in Algebraic Specification Languages (Short Version)

Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright. Parameterized Data Types in Algebraic Specification Languages (Short Version). In J. W. de Bakker, Jan van Leeuwen, editors, Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout, The Netherland, July 14-18, 1980, Proceedings. Volume 85 of Lecture Notes in Computer Science, pages 157-168, Springer, 1980.

@inproceedings{EhrigKTWW80,
  title = {Parameterized Data Types in Algebraic Specification Languages (Short Version)},
  author = {Hartmut Ehrig and Hans-Jörg Kreowski and James W. Thatcher and Eric G. Wagner and Jesse B. Wright},
  year = {1980},
  tags = {data-flow language, data-flow, algebraic specification,  algebra},
  researchr = {https://researchr.org/publication/EhrigKTWW80},
  cites = {0},
  citedby = {0},
  pages = {157-168},
  booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout, The Netherland, July 14-18, 1980, Proceedings},
  editor = {J. W. de Bakker and Jan van Leeuwen},
  volume = {85},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-10003-2},
}