The Equational Theory of Parameterized Specifications

Peter Padawitz. The Equational Theory of Parameterized Specifications. Inf. Comput., 76(2/3):121-137, February/March 1988.

@article{Padawitz88:1,
  title = {The Equational Theory of Parameterized Specifications},
  author = {Peter Padawitz},
  year = {1988},
  month = {February/March},
  researchr = {https://researchr.org/publication/Padawitz88%3A1},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {76},
  number = {2/3},
  pages = {121-137},
}