PEÑA, Ricardo, 2020. An Assertional Proof of Red–Black Trees Using Dafny. Journal of Automated Reasoning. 1 April 2020. Vol. 64, no. 4, p. 767-791. DOI 10.1007/s10817-019-09534-y.
Elsevier - Harvard (with titles)Peña, R., 2020. An Assertional Proof of Red–Black Trees Using Dafny. Journal of Automated Reasoning 64, 767-791. https://doi.org/10.1007/s10817-019-09534-y
American Psychological Association 7th editionPeña, R. (2020). An Assertional Proof of Red–Black Trees Using Dafny. Journal of Automated Reasoning, 64(4), 767-791. https://doi.org/10.1007/s10817-019-09534-y
Springer - Basic (author-date)Peña R (2020) An Assertional Proof of Red–Black Trees Using Dafny.. Journal of Automated Reasoning 64:767-791. https://doi.org/10.1007/s10817-019-09534-y
Juristische Zitierweise (Stüber) (Deutsch)Peña, Ricardo, An Assertional Proof of Red–Black Trees Using Dafny., Journal of Automated Reasoning 2020, 767-791.