Factfinder 2 : Verified software-products-a catalogue. (Published by the National Computing Centre LTD, 1972)