_A_b_o_u_t_ _t_h_e_ _n_a_m_e_ _`_M_i_r_a_n_d_a_'

The word `Miranda' is not an acronym.  It is a proper name (like `ADA').

"Miranda (f).  From the Latin meaning `to be admired'.   This  name  was
first used by Shakespeare for the heroine of `The Tempest', a young girl
blessed with many admirable qualities.  Like other unusual Shakespearean
names it has been used quite frequently in the 20th century."

               - Collins Dictionary of First Names,
                 William Collins and Son Ltd, London, 1967

"O wonder! How many goodly creatures are there here! O brave new world."

               - `The Tempest' by William Shakespeare
                 (from a speech by Miranda, Act 5, Scene 1)

_I_m_p_o_r_t_a_n_t_ _N_o_t_e_.  When used as  the  name  of  a  functional  programming
system,  `Miranda' is a trademark (tm) of Research Software Ltd.

Note that only the first letter of Miranda is upper  case  -  it  should
never be written all in capitals.