Rules of Order for Electronic Group Decision Making† A Formalization Methodology