Kurt Stenzel: Verification of Java card programs. University of Augsburg, Germany 2005, 1-178