@article{Maddux96,
  author    = {Roger D. Maddux},
  title     = {Relation-Algebraic Semantics},
  journal   = {Theoretical Computer Sciences},
  volume    = {160},
  number    = {1{\&}2},
  pages     = {1--85},
  year      = {1996}
}

@book{Galatos07,
  title   = {Residuated Lattices: An Algebraic Glimpse at Substructural Logics: An Algebraic Glimpse at Substructural Logics},
  author  = {Galatos, Nikolaos and Jipsen, Peter and Kowalski, Tomasz and Ono, Hiroakira},
  volume  = {151},
  year    = {2007},
  publisher={Elsevier}
}

@article{Jonsson93,
  title   = {Relation algebras as residuated Boolean algebras},
  author  = {J{\'o}nsson, Bjarni and Tsinakis, Constantine},
  journal = {Algebra Universalis},
  volume  = {30},
  number  = {4},
  pages   = {469--478},
  year    = {1993},
  publisher={Springer}
}

@inproceedings{pratt90action,
  author    = {Vaughan R. Pratt},
  title     = {Action Logic and Pure Induction},
  editor    = {Jan van Eijck},
  booktitle = {Logics in AI, European Workshop, JELIA '90},
  volume    = {478},
  series    = {Lecture Notes in Computer Science},
  pages     = {97--120},
  publisher = {Springer},
  year      = {1991},
  ee        = {https://doi.org/10.1007/BFb0018436}
}

@article{Ward39,
  title={Residuated lattices},
  author={Ward, Morgan and Dilworth, Robert P},
  journal={Transactions of the American Mathematical Society},
  volume={45},
  number={3},
  pages={335--354},
  year={1939}
}
