****************************************
Bibliography
****************************************



..
    All citations must be referenced.

.. only:: draft

    [ChlipalaCPDT]_
    [LuoECC]_


.. [ChlipalaCPDT] Adam Chlipala. `Certified Programming with Dependent Types
   <http://adam.chlipala.net/cpdt/cpdt.pdf>`_.


.. [LuoECC] Zhaohui Luo. (1990).
   `An extended calculus of constructions
   <https://www.researchgate.net/publication/2666912_An_Extended_Calculus_of_Constructions>`_,
   Phd thesis, University of Edinburgh.