Computers and the law: mechanised searching of legal documents, 1975-1977 (UK Data Service, 1980)