@inproceedings {1403,
	title = {The Role of Algebraic Models and Type-2 Theory of Effectivity in Special Purpose Processor Design},
	booktitle = {Computability in Europe 2006},
	year = {2006},
	publisher = {Springer Berlin Heidelberg NewYork},
	organization = {Springer Berlin Heidelberg NewYork},
	address = {Swansea, United Kingdom},
	isbn = {978-3-540-35466-6},
	doi = {10.1007/11780342_15},
	author = {G. de-Miguel-Casado and J.M. Garc{\'\i}a-Chamizo}
}

