Disciplined Methods of Software Specification: A Case Study. - Robert L. Baber; David Lorge Parnas; Sergiy A. Vilkomir; Paul Harrison; Tony O'Connor (ITCC (2), 2005)