APA (7th ed.) Citation

Nipkow, T. (1998). Winskel is (almost) Right: Towards a Mechanized Semantics Textbook. Formal aspects of computing, 10(2), 171-186. https://doi.org/10.1007/s001650050009

Chicago Style (17th ed.) Citation

Nipkow, Tobias. "Winskel Is (almost) Right: Towards a Mechanized Semantics Textbook." Formal Aspects of Computing 10, no. 2 (1998): 171-186. https://doi.org/10.1007/s001650050009.

MLA (9th ed.) Citation

Nipkow, Tobias. "Winskel Is (almost) Right: Towards a Mechanized Semantics Textbook." Formal Aspects of Computing, vol. 10, no. 2, 1998, pp. 171-186, https://doi.org/10.1007/s001650050009.