Problem formalization techniques for collaborative systems

@article{Bird1995ProblemFT,
  title={Problem formalization techniques for collaborative systems},
  author={Shawn D. Bird and George M. Kasper},
  journal={IEEE Trans. Systems, Man, and Cybernetics},
  year={1995},
  volume={25},
  pages={231-242}
}