Parameterized Data Types in Algebraic Specification Languages (1980)

by Hartmut Ehrig, Hans-Jörg Kreowski, James Thatcher, Eric Wagner, Jesse Wright
Venue:Lecture Notes in Computer Science 85