Specifying Rules for Electronic Auctions