Parnas, David Lorge, and Jan Madey. "Functional Documents for Computer Systems." Science of Computer Programming  25, no. 1 (1995): 41-61.