Author: IEEE International Conference on Formal Engineering Methods (2nd 1998 Brisbane, Qld.)