Goos, G., Hartmanis, J., Leeuwen, J., Larsen, K. G., Skyum, S., Winskel, G., Ghani, N., Paiva, V., & Ritter, E. (1998). Explicit substitutitions for constructive necessity. https://doi.org/10.1007/BFb0055098
ISO-690 (author-date, English)GOOS, Gerhard, HARTMANIS, Juris, LEEUWEN, Jan, LARSEN, Kim G., SKYUM, Sven, WINSKEL, Glynn, GHANI, Neil, PAIVA, Valeria und RITTER, Eike, 1998. Explicit substitutitions for constructive necessity.
Modern Language Association 9th editionGoos, G., J. Hartmanis, J. Leeuwen, K. G. Larsen, S. Skyum, G. Winskel, N. Ghani, V. Paiva, und E. Ritter. Explicit substitutitions for constructive necessity. 1998, https://doi.org/10.1007/BFb0055098.
Mohr Siebeck - Recht (Deutsch - Österreich)Goos, Gerhard/Hartmanis, Juris/Leeuwen, Jan/Larsen, Kim G./Skyum, Sven/Winskel, Glynn u. a.: Explicit substitutitions for constructive necessity., 1998.
Emerald - HarvardGoos, G., Hartmanis, J., Leeuwen, J., Larsen, K.G., Skyum, S., Winskel, G., Ghani, N., Paiva, V. und Ritter, E. (1998), Explicit substitutitions for constructive necessity., Bd. , verfügbar unter:https://doi.org/10.1007/BFb0055098.