A technique for software module specification with examples (1972)

by D L Parnas
Venue:Communications of the Association of Computing Machinery