[es] Especificación de la interfaz semántica de Ada

[yo] ISO/IEC 15291