Title: Prolog implementation of a graphic tool for generation of Ada language specifications
Description: This volume was digitized and made accessible online due to deterioration of the original print copy.