@techreport{1996-Frederiks-OOAValidation,
  author		= "Frederiks, P.J.M. and Koster, C.H.A. and Weide, Th.P. van der",
  title			= "{Validation of Object--Oriented Analysis Models using Informal Language}",
  number		= "CSI--R9609",
  month			= "May",
  institution		= "Computing Science Institute, University of Nijmegen, Nijmegen, The Netherlands",
  year			= "1996",
  code			= "icis.CSI-R9609",
  research_group	= "iris",
  class			= "Report"
}