@inproceedings{LochbihlerSchneider2018ITP,
  author = {Andreas Lochbihler and Joshua Schneider},
  title = {Relational parametricity and quotient preservation for modular (co)datatypes},
  editor = {Jeremy Avigad and Assia Mahboubi},
  booktitle = {Interactive Theorem Proving (ITP 2018)},
  series = {LNCS},
  publisher = {Springer},
  year = 2018,
}

@article{BNF_Operations-AFP,
  author  = {Jasmin Christian Blanchette and Andrei Popescu and Dmitriy Traytel},
  title   = {Operations on Bounded Natural Functors},
  journal = {Archive of Formal Proofs},
  month   = dec,
  year    = 2017,
  note    = {\url{http://isa-afp.org/entries/BNF_Operations.html},
            Formal proof development},
  ISSN    = {2150-914x},
}