Zhenyu Qian. Extensions of order-sorted algebraic specifications: parameterization, higher-order functions and polymorphism. PhD thesis, University of Bremen, Germany, 1991. [doi]
@phdthesis{dnb-11389,
title = {Extensions of order-sorted algebraic specifications: parameterization, higher-order functions and polymorphism},
author = {Zhenyu Qian},
year = {1991},
url = {http://d-nb.info/911231242},
researchr = {https://researchr.org/publication/dnb-11389},
cites = {0},
citedby = {0},
school = {University of Bremen, Germany},
}