A reference model for requirements and specifications (2000)

by C A GUNTER, E L GUNTER, M JACKSON, P ZAVE
Venue:IEEE Software