@TechReport(Hug01,
  Author="Hughes, Dominic J.D.",
  Title="Understanding Sequentialisation",
  Note="Technical report, available at 
        \texttt{http://boole.stanford.edu/~dominic/papers}.",
  Year=2001
)