APA (7th ed.) Citation

With, L. (1994). Order-sorted equational computation with semantical sorts.

Chicago Style (17th ed.) Citation

With, Lars. Order-sorted Equational Computation with Semantical Sorts. 1994.

MLA (9th ed.) Citation

With, Lars. Order-sorted Equational Computation with Semantical Sorts. 1994.

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