@proceedings {1306,
	title = {Programs, Proofs, Processes: Proceedings  of the 6th Conference on Computability in Europe, CiE, 2010},
	volume = {6158},
	year = {2010},
	publisher = {Springer-Verlag},
	url = {http://webdiis.unizar.es/~elvira/research.html},
	editor = {E. Mayordomo and F. Ferreira and B. L{\"o}we and L.M. Gomes}
}

