@InProceedings{abel:lambdamu,
  author =    {Andreas Abel},
  title =     {A Third-Order Representation of the $\lambda\mu$-Calculus},
  booktitle = {Electronic Notes in Theoretical Computer Science},
  volume =    {58},
  issue =     {1},
  publisher = {Elsevier Science Publishers},
  editor =    {S.J. Ambler, R.L. Crole and A. Momigliano},
  year =      {2001},
  url =	      {http://www.elsevier.com/gej-ng/31/29/23/90/27/show/Products/notes/index.htt}
}