@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}
}