@techreport{1996-Frederiks-DesignVerification, author = "{Frederiks}, P.J.M. and {van der Weide}, Th.P.", 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" }