6th Int'l Conf. Algebraic Methodology and Software Technology, AMAST'97
                December 13-17, 1997, Sydney, Australia

  See the _AMAST'97 website_ at URL: http://www.cs.mq.edu.au/amast97