Cite Them Right 11th edition - Harvard

Wenzel, M. (2012) „Asynchronous Proof Processing with Isabelle/Scala and Isabelle/j Edit“, ENTCS: Electronic Notes in Theoretical Computer Science, 285, S. 101-114. doi:10.1016/j.entcs.2012.06.009.

Chicago Manual of Style 17th edition (full note)

Wenzel, Makarius. „Asynchronous Proof Processing With Isabelle/Scala and Isabelle/JEdit“. ENTCS: Electronic Notes in Theoretical Computer Science 285 (19. September 2012): 101-14. https://doi.org/10.1016/j.entcs.2012.06.009.

American Psychological Association 7th edition

Wenzel, M. (2012). Asynchronous Proof Processing with Isabelle/Scala and Isabelle/j Edit. ENTCS: Electronic Notes in Theoretical Computer Science, 285, 101-114. https://doi.org/10.1016/j.entcs.2012.06.009

Modern Language Association 9th edition

Wenzel, M. „Asynchronous Proof Processing With Isabelle/Scala and Isabelle/JEdit“. ENTCS: Electronic Notes in Theoretical Computer Science, Bd. 285, September 2012, S. 101-14, https://doi.org/10.1016/j.entcs.2012.06.009.

ISO-690 (author-date, Deutsch)

WENZEL, Makarius, 2012. Asynchronous Proof Processing with Isabelle/Scala and Isabelle/j Edit. ENTCS: Electronic Notes in Theoretical Computer Science. 19 September 2012. Bd. 285, , S. 101-114. DOI 10.1016/j.entcs.2012.06.009

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.