Goos, G., Hartmanis, J., Leeuwen, J., Larsen, K. G., Skyum, S., Winskel, G., & Vardi, M. Y. (1998). Reasoning about the past with two-way automata. https://doi.org/10.1007/BFb0055090
ISO-690 (author-date, English)GOOS, Gerhard, HARTMANIS, Juris, LEEUWEN, Jan, LARSEN, Kim G., SKYUM, Sven, WINSKEL, Glynn und VARDI, Moshe Y., 1998. Reasoning about the past with two-way automata.
Modern Language Association 9th editionGoos, G., J. Hartmanis, J. Leeuwen, K. G. Larsen, S. Skyum, G. Winskel, und M. Y. Vardi. Reasoning about the past with two-way automata. 1998, https://doi.org/10.1007/BFb0055090.
Mohr Siebeck - Recht (Deutsch - Österreich)Goos, Gerhard/Hartmanis, Juris/Leeuwen, Jan/Larsen, Kim G./Skyum, Sven/Winskel, Glynn u. a.: Reasoning about the past with two-way automata., 1998.
Emerald - HarvardGoos, G., Hartmanis, J., Leeuwen, J., Larsen, K.G., Skyum, S., Winskel, G. und Vardi, M.Y. (1998), Reasoning about the past with two-way automata., Bd. , verfügbar unter:https://doi.org/10.1007/BFb0055090.