Verified software products - a catalogue
National Computing Centre Limited.
Manchester National Computing Centre
1972
'Stage 1 Software Verification Questionnaire' (12p.) in pocket
Computer programs.