IEEE Transactions on Software Engineering 8(3) May 1982
(1982)
Zave, P. (1982)
Zave, P. "An Operational Approach to Requirements Specification for Embedded Systems"