Author: Formal Methods Pacific '97 (1997 Wellington, New Zealand)