@inproceedings{DBLP:conf/lpar/Parigot92,
  author    = {M. Parigot},
  title     = {{Lambda-Mu-Calculus}: An Algorithmic Interpretation of {Classical Natural
               Deduction}},
  booktitle = {LPAR},
  year      = {1992}
}

@inproceedings{DBLP:conf/popl/Griffin90,
  author    = {T. Griffin},
  title     = {A Formulae-as-Types Notion of Control},
  booktitle = {{POPL}},
  year      = {1990}
}

@article{DBLP:journals/apal/GeuversKM13,
  author    = {H. Geuvers and
               R. Krebbers and
               J. McKinna},
  title     = {The $\lambda\mu^\texttt{T}$-calculus},
  journal   = {Annals of Pure and Applied Logic},
  volume    = {164},
  number    = {6},
  year      = {2013}
}

@misc{bitbucket,
  author = {Cristina Matache and Victor B F. Gomes and Dominic P. Mulligan},
  title = {$\lambda\mu$-calculus and {muML} public {Bitbucket} repository: \url{https://bitbucket.org/Cristina_Matache/prog-classical-types/}},
  year = {2017},
  key = {bitbucket}
}