@book{13409, author = {Gertel, Matías. and Mancuso, Bruno.}, title = {Yaba, un asistente interativo para la derivación de programas / }, publisher = {s.n.], }, year = {2001.}, address = {[S.l. : }, note = { } }