6th Int'l Conf. Algebraic Methodology and Software Technology, AMAST'97

December 13-17, 1997, Sydney, Australia

See the AMAST'97 website .