An operational approach to requirements specification for embedded systems (1982)

by Pamela Zave
Venue:IEEE Transactions on Software Engineering