@Unpublished{Laurent03note,
  author = {Olivier Laurent},
  title  = {Krivine's abstract machine and the $\lambda\mu$-calculus (an overview)},
  note   = {Unpublished note},
  month  = sep,
  year   = {2003}
}