Tsukada, T., & Igarashi, A. (2010). A Logical Foundation for Environment Classifiers. Logical methods in computer science, 6, Issue 4, . https://doi.org/10.2168/LMCS-6(4:8)2010
Chicago-Zitierstil (17. Ausg.)Tsukada, Takeshi, und Atsushi Igarashi. "A Logical Foundation for Environment Classifiers." Logical Methods in Computer Science 6, Issue 4 (2010). https://doi.org/10.2168/LMCS-6(4:8)2010.
MLA-Zitierstil (9. Ausg.)Tsukada, Takeshi, und Atsushi Igarashi. "A Logical Foundation for Environment Classifiers." Logical Methods in Computer Science, vol. 6, Issue 4, 2010, https://doi.org/10.2168/LMCS-6(4:8)2010.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.