Fellow
United States – 2006
CITATION

For contributions to algebraic specifications and abstract data types.