Goos, G., Hartmanis, J., van Leeuwen, J., Diks, K., Rytter, W., & Villemaire, R. (2002). An Approximation Semantics for the Propositional Mu-Calculus. https://doi.org/10.1007/3-540-45687-2_53
ISO-690 (author-date, English)GOOS, Gerhard, HARTMANIS, Juris, VAN LEEUWEN, Jan, DIKS, Krzysztof, RYTTER, Wojciech und VILLEMAIRE, Roger, 2002. An Approximation Semantics for the Propositional Mu-Calculus.
Modern Language Association 9th editionGoos, G., J. Hartmanis, J. van Leeuwen, K. Diks, W. Rytter, und R. Villemaire. An Approximation Semantics for the Propositional Mu-Calculus. 2002, https://doi.org/10.1007/3-540-45687-2_53.
Mohr Siebeck - Recht (Deutsch - Österreich)Goos, Gerhard/Hartmanis, Juris/van Leeuwen, Jan/Diks, Krzysztof/Rytter, Wojciech/Villemaire, Roger: An Approximation Semantics for the Propositional Mu-Calculus., 2002.
Emerald - HarvardGoos, G., Hartmanis, J., van Leeuwen, J., Diks, K., Rytter, W. und Villemaire, R. (2002), An Approximation Semantics for the Propositional Mu-Calculus., Bd. , verfügbar unter:https://doi.org/10.1007/3-540-45687-2_53.