@InProceedings{wm02,
  author = 	 {Wojciech Mostowski},
  title = 	 {Rigorous development of {JavaCard} applications},
  booktitle = 	 {Proc. Fourth Workshop on Rigorous Object-Oriented Methods, London},
  year =	 2002,
  editor =	 {T. Clarke and A. Evans and K. Lano}
}