Software requirements and specifications : a lexicon of practice, principles, and prejudices - Jackson, Michael J. (ACM Press, 1995)