Parameter passing in algebraic specification languages (1984)

by Hartmut Ehrig, Hans-Jorg Kreowski, James Thatcher, Eric Wagner, Jesse Wright
Venue:Earlier version in Workshop on Program Specification (Aarhus