@book{13692,
	author = {García Sánchez, Luis},
	title = {Construcción lógica de programas:},
	year = {2002}
}