@techreport{1997-Devillers-AutomataSupport,
  author		= "{Devillers}, M.",
  title			= "{Mechanized support for I/O automata}",
  number		= "CSI--N9710",
  month			= "December",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "1997",
  code			= "icis.CSI-N9710",
  research_group	= "icis",
  class			= "Report"
}