Zhenyu Qian. Extensions of order-sorted algebraic specifications: parameterization, higher-order functions and polymorphism. PhD thesis, University of Bremen, Germany, 1991. [doi]
No references recorded for this publication.
No citations of this publication recorded.