Joseph Goguen. Bulletin of the European Association for Theoretical Computer Science, Number 36, October 1989, guest column in the Algebraic Specification Column, pages 96-102; also, in Current Trends in Theoretical Computer Science: Essays and Tutorials, World Scientific, 1993, pages 76-81.
The early history of algebraic specification, and abstract data type theory.
Includes a very funny story about censorship of academic research during the Vietnam war.
Posted to history by Ehud Lamm on 12/26/01; 8:17:18 AM
|
|