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