@PhdThesis{kn:Ver-DiscreteTimeProcessAlgebra,
  author =       "J. J. Vereijken",
  title =        "Discrete-Time Process Algebra",
  school =       "Eindhoven University of Technology",
  year =         "1997"
}