Chen, Zhen Yu (2006) Formalization and classification of product requirements using axiomatic theory of design modeling. Masters thesis, Concordia University.