@techreport{1997-Huisman-SystemMaple,
  author		= "{Huisman}, Marieke",
  title			= "{Designing a satellite tracking system with the use of PVS and Maple}",
  number		= "CSI--R9716",
  month			= "September",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "1997",
  code			= "icis.CSI-R9716",
  research_group	= "icis",
  class			= "Report"
}