Information technology - International Standardized Profiles ADFnn - Document Filing and Retrieval (DFR) - Part 3: ADF11 - Common Document Filing and Retrieval - Read Only Profile ISO/IEC ISP 12069-3: 1996
This Technical Report provides a description of the motivations behind the Ravenscar Profile, to show how
Ada programs using the profile can be analysed, and gives examples of usage.