Luis Angel D. Bathen, IBM Almaden Research Center