@TechReport{kn:RenVer-CompletenessInDiscreteTimeProcessAlgebra,
  author =       "M. A. Reniers and J. J. Vereijken",
  title =        "Completeness in Discrete-Time Process Algebra",
  institution =  "Eindhoven University of Technology",
  year =         "1996",
  number =       "CSR 96/15",
  address =      "Computing Science Department"
}