Doctoral Dissertation Award
United States – 1978
CITATION

A Specification Language and Its Processor.