[M1] ================================================ AMAST Links 02 02

        Algebraic Methodology And Software Technology, AMAST'95
                   Montreal, Canada, July 3-7, 1995

   *Update* of [AL0201M1].

  The inclusion of paper #56 in the originally communicated list of
accepted papers for AMAST'95 was caused by a regrettable error.
  The _correct list of accepted papers_ is available at
URL: http://www.cs.utwente.nl/data/amast/amast95/AcceptedPapers.txt