@techreport{1994-Barendregt-ComputableProcesses,
  author		= "{Barendregt}, H. and {Wupper}, H. and {Mulder}, H.",
  title			= "{Computable processes}",
  number		= "CSI--R9405",
  month			= "May",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "1994",
  code			= "CSI-R9405 icis.CSI-R9405",
  research_group	= "icis",
  class			= "Report"
}