A technique for software module specification with examples (1972)

by D L Parnas
Venue:Commun. ACM