@techreport{1996-Frederiks-DesignVerification,
  author		= "Frederiks, P.J.M. and Weide, Th.P. van der",
  title			= "{Verification and Design for Information Architectures}",
  number		= "CSI--N9611",
  month			= "December",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "1996",
  code			= "icis.CSI-N9611",
  research_group	= "icis",
  class			= "Report"
}