How to Translate a Verbal Theory Into a Formal Model · Study