At 04:21 PM 12/14/98 -0500, Thomas W Moran wrote:
>Out of curiosity, what language does Airbus use?

  Ada, now.  The Airbus 320 used a specially designed language to allow
automatic theorem proving.  There were problems, not because of technical
implementation problems, but because the resulting code was not
transparent.  (Translation: It wasn't easy to find bugs in the requirements
by looking at the source code.)

                                        Robert I. Eachus

with Standard_Disclaimer;
use  Standard_Disclaimer;
function Message (Text: in Clever_Ideas) return Better_Ideas is...