The integration of structured and formal methods /
Randell, G. P.
Malvern : Royal Signals and Radar Establishment,
1989.
Methods (Computer system)