Parameter passing in algebraic specification languagesHartmut EhrigHans-Jörg Kreowskiet al.1983Theoretical Computer Science
Transformations of structures: An algebraic approachHartmut EhrigHans-Jörg Kreowskiet al.1981Mathematical Systems Theory