Recent trends in algebraic development techniques 12th international workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers / - Parisi Presicce, Francesco. (Lecture notes in computer science,)