A reference model for requirements and specifications (2000)

by C A Gunter, E L Gunter, M Jackson, P Zave
Venue:IEEE Software