Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright. Parameter Passing in Algebraic Specification Languages. In Jørgen Staunstrup, editor, Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981. Volume 134 of Lecture Notes in Computer Science, pages 322-369, Springer, 1981.
@inproceedings{EhrigKTWW81, title = {Parameter Passing in Algebraic Specification Languages}, author = {Hartmut Ehrig and Hans-Jörg Kreowski and James W. Thatcher and Eric G. Wagner and Jesse B. Wright}, year = {1981}, tags = {algebraic specification, algebra}, researchr = {https://researchr.org/publication/EhrigKTWW81}, cites = {0}, citedby = {0}, pages = {322-369}, booktitle = {Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981}, editor = {Jørgen Staunstrup}, volume = {134}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-11490-4}, }