@proceedings{BeckertFranceEA2001,
  editor = {Bernhard Beckert and Robert France and Reiner H\"ahnle and
		  Bart Jacobs},
  title = {IJCAR Workshop on Precise Modelling and
		  Deduction for Object-oriented Software Development ({PMD} '01)},
  venue = {Siena, Italy},
  publisher = {Technical Report DII 07/01, Dipartimento di Ingegneria
		  dell'Informazione, Universit\`a degli Studi di Siena},
  year = {2001}
}