- CSB - MetaPress - Google - Bing - Yahoo
 | 1993 | |
|---|---|---|
| 1 |      | A. Bucci, Paola Inverardi, Simone Martini: An `Executable' Impredicative Semantics for the Ada Configuration. Formal Asp. Comput. 5(2): 91-120 (1993) |
| 1 | Paola Inverardi | [1] |
| 2 | Simone Martini | [1] |