@TechReport{kn:Ver-FischersProtocolInTimedProcessAlgebra,
  author =       "J. J. Vereijken",
  title =        "Fischer's Protocol in Timed Process Algebra",
  institution =  "Eindhoven University of Technology",
  year =         "1994",
  number =       "CSR 94/32",
  address =      "Computing Science Department"
}