With, L. (1994). Order-sorted equational computation with semantical sorts.
Chicago-Zitierstil (17. Ausg.)With, Lars. Order-sorted Equational Computation with Semantical Sorts. 1994.
MLA-Zitierstil (9. Ausg.)With, Lars. Order-sorted Equational Computation with Semantical Sorts. 1994.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.