@article{KirchnerM01,
  title = {Algebraic Specifications, Higher-order Types and Set-theoretic Models},
  author = {Hélène Kirchner and Peter D. Mosses},
  year = {2001},
  url = {http://www3.oup.co.uk/logcom/hdb/Volume_11/Issue_03/110453.sgm.abs.html},
  tags = {algebraic specification,  algebra},
  researchr = {https://researchr.org/publication/KirchnerM01},
  cites = {0},
  citedby = {0},
  journal = {logcom},
  volume = {11},
  number = {3},
  pages = {453-481},
}

@inproceedings{HintermeierKM95,
  title = {R:::n:::- and G:::n:::-Logics},
  author = {Claus Hintermeier and Hélène Kirchner and Peter D. Mosses},
  year = {1995},
  tags = {logic},
  researchr = {https://researchr.org/publication/HintermeierKM95},
  cites = {0},
  citedby = {0},
  pages = {90-108},
  booktitle = {hoa},
}

@article{KirchnerKO09,
  title = {Analysis of Rewrite-Based Access Control Policies},
  author = {Claude Kirchner and Hélène Kirchner and Anderson Santana de Oliveira},
  year = {2009},
  doi = {10.1016/j.entcs.2009.02.072},
  url = {http://dx.doi.org/10.1016/j.entcs.2009.02.072},
  tags = {rule-based, analysis, graph-rewriting, access control policies, access control, rewriting, role-based access control},
  researchr = {https://researchr.org/publication/KirchnerKO09},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {234},
  pages = {55-75},
}

@inproceedings{KirchnerM98,
  title = {Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models},
  author = {Hélène Kirchner and Peter D. Mosses},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1548/15480373.htm},
  tags = {algebraic specification,  algebra},
  researchr = {https://researchr.org/publication/KirchnerM98},
  cites = {0},
  citedby = {0},
  pages = {373-388},
  booktitle = {amast},
}

@article{AstesianoBKKMST02,
  title = {CASL: the Common Algebraic Specification Language},
  author = {Egidio Astesiano and Michel Bidoit and Hélène Kirchner and Bernd Krieg-Brückner and Peter D. Mosses and Donald Sannella and Andrzej Tarlecki},
  year = {2002},
  tags = {algebraic specification,  algebra},
  researchr = {https://researchr.org/publication/AstesianoBKKMST02},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {286},
  number = {2},
  pages = {153-196},
}

@inproceedings{HintermaierKM95,
  title = {Combining Algebraic and Set-Theoretic Specifications},
  author = {Claus Hintermeier and Hélène Kirchner and Peter D. Mosses},
  year = {1995},
  tags = {algebraic specification,  algebra},
  researchr = {https://researchr.org/publication/HintermaierKM95},
  cites = {0},
  citedby = {0},
  pages = {255-273},
  booktitle = {compass},
}