@techreport{tratt03consistency,
  author =        {Laurence Tratt},
  title =         {Compile-time meta-programming in Converge},
  institution =   {Department of Computer Science, King's College London},
  number =        {TR-04-11},
  month =         {December},
  year =          {2002}
}