Author: International Conference of B and Z Users (2nd 2002 Grenoble, France)