@TechReport{kn:BaeVer-DiscreteTimeProcessAlgebraWithEmptyProcess,
  author =       "J. C. M. Baeten and J. J. Vereijken",
  title =        "Discrete-Time Process Algebra with Empty Process",
  institution =  "Eindhoven University of Technology",
  year =         "1997",
  number =       "CSR 97/05",
  address =      "Computing Science Department"
}