APA (7th ed.) Citation

With, L. (1994). Order-sorted equational computation with semantical sorts ([Mikrofiche-Ausg.].).

Chicago Style (17th ed.) Citation

With, Lars. Order-sorted Equational Computation with Semantical Sorts. [Mikrofiche-Ausg.]. 1994.

MLA (9th ed.) Citation

With, Lars. Order-sorted Equational Computation with Semantical Sorts. [Mikrofiche-Ausg.]. 1994.

Warning: These citations may not always be 100% accurate.