Author: Irish Workshop on Formal Methods (1st 1997 Dublin, Ireland)