@techreport{1991-Rooijakkers-TokenProtocol,
  author		= "{Rooijakkers}, L.W.J. and {Massink}, M.",
  title			= "{A simplified token bus protocol specified using LOTOS}",
  number		= "CSI--R9215",
  month			= "January",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "1991",
  code			= "icis.92-15",
  research_group	= "icis",
  class			= "Report"
}