SCHMIDT-SCHAUSS, Manfred und SABEL, David, 2013. Correctness of an STM Haskell implementation. Version: 27. März 2013. Frankfurt am Main: Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology. Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik, 50.
Elsevier - Harvard (with titles)Schmidt-Schauß, M., Sabel, D., 2013. Correctness of an STM Haskell implementation, Version: 27. März 2013. ed, Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik, Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik. Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology, Frankfurt am Main. https://doi.org/urn:nbn:de:hebis:30:3-344403
American Psychological Association 7th editionSchmidt-Schauß, M., & Sabel, D. (ca. 2013). Correctness of an STM Haskell implementation [Cd]. In Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik (Version: 27. März 2013). Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology. https://doi.org/urn:nbn:de:hebis:30:3-344403
Springer - Basic (author-date)Schmidt-Schauß M, Sabel D (2013) Correctness of an STM Haskell implementation, Version: 27. März 2013. Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology, Frankfurt am Main
Juristische Zitierweise (Stüber) (Deutsch)Schmidt-Schauß, Manfred/ Sabel, David, Correctness of an STM Haskell implementation, Version: 27. März 2013 , Frankfurt am Main 2013.