@InProceedings{ftjp03,
  author = 	 {Alessandro Coglio},
  title = 	 {Toward Automatic Generation of
                  Provably Correct {Java Card} Applets},
  booktitle = 	 {Proc.\ 5th {ECOOP} Workshop on
                  Formal Techniques for {Java}-like Programs},
  year = 	 {2003},
  month = 	 {July}
}