Parameterized Data Types in Algebraic Specification Languages (Short Version).

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

Browse the full ICALP paper archive.