Formal Sprecification Techniques in IS: Members