@techreport{2006-Poll-SpecificationJavaCard,
  author		= "{Poll}, E. and {Berg}, J.A.G.M. van den and {Jacobs}, B.P.F.",
  title			= "{Specification of the JavaCard API in JML}",
  number		= "CSI--R0005",
  month			= "March",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2000",
  code			= "icis.CSI-R0005",
  research_group	= "icis",
  class			= "Report"
}