Parameter Passing in Algebraic Specification Languages

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.

Abstract

Abstract is missing.