Title: Formalizing requirements in a commercial setting
First published: 1999