Pošalji tekstualnu poruku: Recent trends in algebraic development techniques : 12th international workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers / Francesco Parisi Presicce, (ed.).