@inproceedings{BeckertSasse2001,
  author = {Bernhard Beckert and Bettina Sasse},
  title = {Handling {J}ava's Abrupt Termination in a Sequent Calculus
		  for {D}ynamic {L}ogic},
  booktitle = {Proceedings, IJCAR Workshop on Precise Modelling and
		  Deduction for Object-oriented Software Development,
		  Siena, Italy},
  editor = {B. Beckert and R. France and R. H\"ahnle and B. Jacobs},
  publisher = {Technical Report DII 07/01, Dipartimento di Ingegneria
		  dell'Informazione, Universit\`a degli Studi di Siena},
  pages = {5--14},		  
  year = {2001}
}