Books by IEEE International Conference on Formal Engineering Methods (2nd 1998 Brisbane, Qld.) on BookTides.