Pierre Mellier François Grize OVIDE: A Tool for Data Acquisition and Validation. 53-61 1995 30 SIGPLAN Notices 1 db/journals/sigplan/sigplan30.html#MellierG95