Ada As a Specification Language for Interactive Systems
| Titre | Ada As a Specification Language for Interactive Systems | 
| Type de publication | Conference Paper | 
| Année de publication | 1985 | 
| Auteurs | El Iraki, A., G. Lapalme, and G. V. Bochmann | 
| Nom de la conférence | Convention informatique | 
| Date Published | sep | 
| Endroit d'édition | Palais des Congrès, Paris | 
        