On formalism in specifications. Usability Inspection Methods. State of the Art in User Interface Software Tools. Organizational Issues in Groupware Implementation. Leon J. Osterweil.
Software processes are software too.
In Proceedings of the Ninth International Conference on Software Engineering, pages 2-13, Monterey, CA, March 1987. David Lorge Parnas. Designing software for ease of extension and contraction. Predicate logic for software engineering. Capability maturity model, version 1.1.