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}, }