@techreport{1988-Weide-FormSemRidl,
  author		= "Weide, Th.P. van der",
  title			= "{Formal semantics for extended RIDL}",
  institution		= "Department of Information Systems, University of Nijmegen, Nijmegen, The Netherlands",
  year			= "1988",
  research_group	= "iris",
  class			= "Report"
}