1 book • 1 series
Book #139: An Attribute Grammar for the Semantic Analysis of ADA
Book #460: A Systematic Catalogue of Reusable Abstract Data Types