@Article{HillS02,
  author =       {Hill, P.~M. and Spoto, F.},
  title =        {Generalising \emph{Def} and \emph{Pos} to {T}ype {A}nalysis},
  journal =      {Journal of Logic and Computation},
  year =         {2002},
  volume =       {12},
  number =       {3},
  pages =        {497--542},
  publisher =    {Oxford University Press},
  month =        {June}
}