Extensions of order-sorted algebraic specifications parameterization, higher-order functions and polymorphism - Qian, Zhenyu (1991)
Bremen, Univ., Diss., 1991