@techreport{2006-Oostdijk-RemoteMethod,
  author		= "{Oostdijk}, M.D. and {Warnier}, M.E.",
  title			= "{On the combination of Java Card Remote Method Invocation and JML}",
  number		= "NIII--R0321",
  month			= "October",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2003",
  code			= "icis.NIII-R0321",
  research_group	= "icis",
  class			= "Report"
}