@article(AlvesDunduaFloridoKutsiaIGPL18,
 author       = {S. Alves and B. Dundua and M. Florido and T. Kutsia},
 year         = {2018},
 title        = {Pattern-based calculi with finitary matching},
 journal      = {Logic Journal of the IGPL},
 volume       = {26},
 pages        = {203--243},
 doi          = {10.1093/JIGPAL/jzx059},
)
@inproceedings(BG06,
 author       = {O. Bournez and F. Garnier},
 year         = {2005},
 title        = {Proving Positive Almost-sure Termination},
 editor       = {J. Giesl},
 booktitle    = {Term Rewriting and Applications (RTA 2005)},
 series       = {Lecture Notes in Computer Science},
 volume       = {3467},
 publisher    = {Springer},
 pages        = {323--337},
 doi          = {10.1007/978-3-540-32033-3_24},
)
@inproceedings(BK02,
 author       = {O. Bournez and C. Kirchner},
 year         = {2002},
 title        = {{Probabilistic Rewrite Strategies. Applications to ELAN}},
 editor       = {S. Tison},
 booktitle    = {Rewriting Techniques and Applications (RTA 2002)},
 series       = {Lecture Notes in Computer Science},
 volume       = {2378},
 publisher    = {Springer},
 pages        = {252--266},
 doi          = {10.1007/3-540-45610-4_18},
)
@inproceedings(Dallago,
 author       = {Dal Lago, U. and G. Guerrieri and W. Heijltjes},
 year         = {2020},
 title        = {Decomposing Probabilistic Lambda-Calculi},
 editor       = {Goubault-Larrecq, J. and B. K{\"o}nig},
 booktitle    = {Foundations of Software Science and Computation Structures (FoSSaCS 2020)},
 series       = {Lecture Notes in Computer Science},
 volume       = {12077},
 publisher    = {Springer},
 pages        = {136--156},
 doi          = {10.1007/978-3-030-45231-5_8},
)
@inproceedings(lambdarho,
 author       = {D{\'\i}az-Caro, A.},
 year         = {2017},
 title        = {A lambda calculus for density matrices with classical and probabilistic controls},
 editor       = {B.-Y. E. Chang},
 booktitle    = {Programming Languages and Systems (APLAS 2017)},
 series       = {Lecture Notes in Computer Science},
 volume       = {10695},
 publisher    = {Springer},
 pages        = {448--467},
 doi          = {10.1007/978-3-319-71237-6_22},
 url          = {arXiv:1705.00097},
)
@inproceedings(DCM17,
 author       = {D{\'\i}az-Caro, A. and Mart{\'\i}nez, G.},
 year         = {2018},
 title        = {Confluence in probabilistic rewriting},
 editor       = {S. Alves and R. Wassermann},
 booktitle    = {Logical and Semantic Frameworks with Applications (LSFA 2017)},
 series       = {Electronic Notes in Teoretical Computer Science},
 volume       = {338},
 publisher    = {Elsevier},
 pages        = {115--131},
 doi          = {10.1016/j.entcs.2018.10.008},
)
@inproceedings(Faggian,
 author       = {C. Faggian},
 year         = {2019},
 title        = {{Probabilistic Rewriting: Normalization, Termination, and Unique Normal Forms}},
 editor       = {H. Geuvers},
 booktitle    = {Formal Structures for Computation and Deduction (FSCD 2019)},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {131},
 publisher    = {Schloss Dagstuhl},
 pages        = {19:1--19:25},
 doi          = {10.4230/LIPIcs.FSCD.2019.19},
)
@mastersthesis(Romero20,
 author       = {R. Romero},
 year         = {2020},
 title        = {Una extensi\'on polim\'orfica para los $\lambda$-c\'alculos cu\'anticos $\lambda_\rho$ y $\lambda_\rho^\circ$},
 school       = {Universidad de Buenos Aires},
 address      = {Argentina},
 url          = {http://dc.sigedep.exactas.uba.ar/media/academic/grade/thesis/presentacion.pdf},
)