Functional documentation for computer systems (1995)

by D L Parnas, J Madey
Venue:Science of Computer Programming