@article(Abramsky90,
 author       = {Samson Abramsky},
 year         = {1990},
 title        = {The lazy $\lambda$-calculus},
 journal      = {Research Topics in Functional Programming},
 pages        = {65--117},
)
@article(ARNOLD1980,
 author       = {Andr\'{e} Arnold and Maurice Nivat},
 year         = {1980},
 title        = {Metric interpretations of infinite trees and semantics of non deterministic recursive programs},
 journal      = {Theoretical Computer Science},
 volume       = {11},
 number       = {2},
 pages        = {181 -- 205},
 doi          = {10.1016/0304-3975(80)90045-6},
)
@article(bat,
 author       = {Ingo Battenfeld and Klaus Keimel and Thomas Streicher},
 year         = {2014},
 title        = {Observationally-induced Algebras in Domain Theory},
 journal      = {Logical Methods in Computer Science},
 volume       = {10(3:18)},
 pages        = {1--26},
 doi          = {10.2168/lmcs-10(3:18)2014},
)
@incollection(effectful_normal,
 author       = {Dal Lago, Ugo and Francesco Gavazzo},
 year         = {2019},
 title        = {Effectful Normal Form Bisimulation},
 booktitle    = {Programming Languages and Systems},
 publisher    = {Springer International Publishing},
 pages        = {263--292},
 doi          = {10.1007/978-3-030-17184-1\_10},
)
@article(Relational,
 author       = {Dal Lago, Ugo and Francesco Gavazzo and Paul B. Levy},
 year         = {2017},
 title        = {Effectful Applicative Bisimilarity: Monads, Relators, and the {Howe’s} Method},
 journal      = {Logic in Computer Science},
 pages        = {1--12},
 doi          = {10.1109/lics.2017.8005117},
)
@article(Escardo_decid,
 author       = {Martín Escardó},
 year         = {2009},
 title        = {Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {249},
 pages        = {219 -- 242},
 doi          = {10.1016/j.entcs.2009.07.092},
 note         = {Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics (MFPS 2009)},
)
@misc(Escardo_metric,
 author       = {Martín H{\"o}tzel Escard{\'o}},
 year         = {1999},
 title        = {A metric model of {PCF}},
 note         = {In: Workshop on Realizability Semantics and Applications.},
)
@inproceedings(Fiore,
 author       = {Marcelo Fiore and Sam Staton},
 year         = {2014},
 title        = {Substitution, Jumps, and Algebraic Effects},
 booktitle    = {Proceedings of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
 series       = {CSL-LICS '14},
 pages        = {41:1--41:10},
 doi          = {10.1145/2603088.2603163},
)
@inproceedings(appdis,
 author       = {Francesco Gavazzo},
 year         = {2018},
 title        = {Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances},
 booktitle    = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2018},
 pages        = {452--461},
 doi          = {10.1145/3209108.3209149},
)
@article(HasuoGeneric,
 author       = {Ichiro Hasuo},
 year         = {2015},
 title        = {Generic Weakest Precondition Semantics from Monads Enriched with Order},
 journal      = {Theoretical Computer Science},
 volume       = {604},
 number       = {C},
 pages        = {2--29},
 doi          = {10.1016/j.tcs.2015.03.047},
)
@inproceedings(op_meta,
 author       = {Patricia Johann and Alex Simpson and Janis Voigtländer},
 year         = {2010},
 title        = {A Generic Operational Metatheory for Algebraic Effects},
 booktitle    = {Proceedings of Logic in Computer Science (LICS'10)},
 pages        = {209--218},
 doi          = {10.1109/lics.2010.29},
)
@incollection(Levy11,
 author       = {Paul Blain Levy},
 year         = {2011},
 title        = {Similarity Quotients as Final Coalgebras},
 booktitle    = {Foundations of Software Science and Computational Structures},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {27--41},
 doi          = {10.1007/978-3-642-19805-2\_3},
)
@inproceedings(LopezSimpson,
 author       = {Aliaume Lopez and Alex Simpson},
 year         = {2018},
 title        = {Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular},
 booktitle    = {27th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2018},
 pages        = {29:1--29:17},
 doi          = {10.4230/LIPIcs.CSL.2018.29},
)
@inproceedings(MardarePP16,
 author       = {Radu Mardare and Prakash Panangaden and Gordon D. Plotkin},
 year         = {2016},
 title        = {Quantitative Algebraic Reasoning},
 booktitle    = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} '16},
 pages        = {700--709},
 doi          = {10.1145/2933575.2934518},
)
@incollection(Sound,
 author       = {Cristina Matache and Sam Staton},
 year         = {2019},
 title        = {A Sound and Complete Logic for Algebraic Effects},
 booktitle    = {Lecture Notes in Computer Science},
 publisher    = {Springer International Publishing},
 pages        = {382--399},
 doi          = {10.1007/978-3-030-17127-8\_22},
)
@misc(Domains,
 author       = {Gordon D. Plotkin},
 year         = {1983},
 title        = {Domains},
 note         = {Course notes},
)
@article(effect,
 author       = {Gordon D. Plotkin and John Power},
 year         = {2001},
 title        = {Adequacy for Algebraic Effects},
 journal      = {Foundations of Software Science and Computation Structures},
 pages        = {1--24},
 doi          = {10.1007/3-540-45315-6\_1},
)
@inproceedings(PlotkinPower02,
 author       = {Gordon D. Plotkin and John Power},
 year         = {2002},
 title        = {Notions of Computation Determine Monads},
 booktitle    = {Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures},
 pages        = {342--356},
 doi          = {10.1007/3-540-45931-6\_24},
)
@article(alg_eff,
 author       = {Gordon D. Plotkin and John Power},
 year         = {2003},
 title        = {Algebraic Operations and Generic Effects},
 journal      = {Applied Categorical Structures},
 volume       = {11},
 pages        = {69--94},
 doi          = {10.1023/A:1023064908962},
)
@article(Plotkin:2004,
 author       = {Gordon D. Plotkin and John Power},
 year         = {2004},
 title        = {Computational Effects and Operations: An Overview},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {73},
 pages        = {149--163},
 doi          = {10.1016/j.entcs.2004.08.008},
)
@book(Sangiorgi_book,
 author       = {Davide Sangiorgi},
 year         = {2011},
 title        = {Introduction to Bisimulation and Coinduction},
 publisher    = {Cambridge University Press},
 address      = {Cambridge, UK},
 doi          = {10.1017/cbo9780511777110},
)
@book(Sangiorgi_book_2,
 editor       = {Davide Sangiorgi and Jan Rutten},
 year         = {2011},
 title        = {Advanced Topics in Bisimulation and Coinduction},
 series       = {Cambridge Tracts in Theoretical Computer Science},
 publisher    = {Cambridge University Press},
 address      = {Cambridge, UK},
 doi          = {10.1017/CBO9780511792588},
)
@inproceedings(modal,
 author       = {Alex Simpson and Niels Voorneveld},
 year         = {2018},
 title        = {Behavioural Equivalence via Modalities for Algebraic Effects},
 booktitle    = {Programming Languages and Systems (ESOP 2018)},
 pages        = {300--326},
 doi          = {10.1007/978-3-319-89884-1\_11},
)
@article(modal_journal,
 author       = {Alex Simpson and Niels Voorneveld},
 year         = {2020},
 title        = {Behavioural Equivalence via Modalities for Algebraic Effects},
 journal      = {ACM Trans. Program. Lang. Syst.},
 volume       = {42},
 doi          = {10.1145/3363518},
 note         = {45 pages},
)
@conference(Quantitative,
 author       = {Niels Voorneveld},
 year         = {2019},
 title        = {Quantitative Logics for Equivalence of Effectful Programs},
 volume       = {347},
 pages        = {281 -- 301},
 doi          = {10.1016/j.entcs.2019.09.015},
 note         = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics},
)