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

by P ZAVE
Venue:IEEE Trans. Softw. Eng