Planning and control of software based systems
Jackson, K.
Christchurch Royal Signals and Radar Establishment
1978
Computer programs.