@Article{PittsAM:monsf,
  author =	 {M. R. Shinwell and A. M. Pitts},
  title =	 {On a Monadic Semantics for Freshness},
  journal =	 {Theoretical Computer Science},
  year =	 {2005},
  volume =	 342,
  pages =	 {28--55}
}