Parameter Passing in Algebraic Specification Languages.

Hartmut Ehrig, Hans-Jrg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright

Browse the full FM paper archive.