Formal methods pacific '97 proceedings of FMP '97, 9 - 11 July 1997, Wellington, New Zealand (Springer, 1997)