@book{9449,
	author = {Díaz de Ilarraza Sánchez, Arantza. and Lucio Carrasco, Francisca. and Universidad del País Vasco},
	title = {Verificación de programas y metodología de la programación / },
	publisher = {Universidad del País Vasco, },
	year = {D.L. 1990.},
	address = {Bilbao : }
}