@techreport{K08a,
  number="{\url{http://hdl.handle.net/1813/10173}}",
  month="March",
  title="On the Coalgebraic Theory of {K}leene Algebra with Tests",
  author="Dexter Kozen",
  year="2008",
  institution="Computing and Information Science, Cornell University"
}