NAHC/HIG/C1 Higman's wartime notebooks:
- C1/1 Armament lectures and questions (typescript and handwritten), ca. 1943
- NAHC/HIG/C1/2 Calculation of Bomb Trajectories (handwritten)
- NAHC/HIG/C1/3 Radio (handwritten)
- NAHC/HIG/C1/4 Specialists and Visits, 1944
- NAHC/HIG/C1/5 Miscellaneous
- NAHC/HIG/C2 "Ballistics", 1941-1942, containing:
- NAHC/HIG/C2/1 Report "A system of Internal Ballistics of the Military College of Science, 1941
- NAHC/HIG/C2/2 Typewritten notes on Advanced Armament Course on External Ballistics, ca. 1942
- NAHC/HIG/C2/3 Internal Ballistics Data (typewritten), ca. 1942
NAHC/HIG/C3 Miscellanea, 1939-1945, containing:
- NAHC/HIG/C3/1 Advice and Instructions on the Composition of Technical Reports, MAP, 1945
- NAHC/HIG/C3/2 Miscellaneous handwritten and typescript papers (and draws) on RAF Advanced Armament Course
- NAHC/HIG/C3/3 Report: RAE - What It IS and Does
- NAHC/HIG/C3/4 Selsyns and their Application to Position Control
NAHC/HIG/C4 Nicholas [Nicholas was an electronic digital computer which was installed at the Elliott Brothers Research Laboratory in London]
- NAHC/HIG/C4/1 G. E. Felton, "Programming Nicholas," Elliot Brothers (London) Limited Research Laboratories, 1953
- NAHC/HIG/C4/2 G. E. Felton and others, "Nicholas Library, Elliot Brothers (London) Limited Research Laboratories, 1953 [two copies]
NAHC/HIG/C5 GEC Applied Electronic Laboratories Papers, Stanmore, Middlesex, 1956-1963 (B. Higman's reports):
- NAHC/HIG/C5/1 Handbook of Programmes for MOSAIC compiled by GEC Stanmore Laboratories, 4th July 1955
- NAHC/HIG/C5/2 ADCG Reports Master, 1955-1956. (Also contains report on discussion on digital computer technique, 27 April 1956).
- NAHC/HIG/C5/3 ADGC Reports Master 1957
- NAHC/HIG/C5/4 Programmes not to be published. Largely handwritten, but containing a few typescripts and tabulations on various items.
- NAHC/HIG/C5/5 EL DRACO reports, 1958
- NAHC/HIG/C5/6 EL DRACO, miscellaneous drawings, handwritten notes, and layouts.
- NAHC/HIG/C5/7 Notes on the Algol 60 Report, 1st August 1961
- NAHC/HIG/C5/8 Towards an Algol Translator, 2nd February 1962
- NAHC/HIG/C5/9 Proposal for an Inertial Navigation Computer System of R.A.E., undated
- NAHC/HIG/C5/10 On Logic Symbols and Terminology for use on Automated Data Processing, 1960ca.
- NAHC/HIG/C6 GEC Applied Electronic Laboratories Papers, Stanmore, Middlesex, 1956-1963 (Others' reports):
- NAHC/HIG/C6/1 C. J. Wayman, Proposals for the initial aims for the programme of work on a centralized computer system for I.A.P. department, R.A.E., 1955 (originally part of Higman's ADCG Reports)
- NAHC/HIG/C6/2 Jeffrey, A Summary of the Analysis of Stochastic Processes, 4th July 1955
- NAHC/HIG/C/6/3 Jeffrey, The Numerical Computation of Fourier Transforms: with applications, 1st February 1956 (secret)
- NAHC/HIG/C6/4 D. Hughes, Thin Magnetic Films for Computers, 12th February 1957
- NAHC/HIG/C6/5 P. A. Blackburn, An Interim Survey of the Work on Ultrasonic Delay Lines, 16th September 1957 (confidential)
- NAHC/HIG/C6/6 T. J. Sanders, Report on the Visit to the British Tabulating Machine Co. Ltd. Research Laboratories, Stevenage, on 18th April 1958
- NAHC/HIG/C6/7 J. M. Cotton, Possible Fast Multiplier for El Draco, 27th May 1958
- NAHC/HIG/C6/8 H. Hodge, A Digital to Analogue (A.C.) Converter, 29th July 1958
- NAHC/HIG/C6/9 G. Mortimer, A Note on the Requirements for Driving a "D.D.A." memory drum at 12,000 r.p.m., 2nd September 1958
- NAHC/HIG/C6/10 M. C. Chandler, A Problem Involving the Product of Random Variables Subject to Large Fluctuations, 18th August 1959
- NAHC/HIG/C6/11 P. G. Davey, Transistor Null-Detecting Amplifier, 15th October 1959
- NAHC/HIG/C6/12 J. A. E. Black, A Method of Fitting a Rectangular Hyperbola Through Given Points (confidential), 12th May 1960
- NAHC/HIG/C6/13 J. S. Padley, A Method for Computing the Demands on the Servis stabilising a Two-Axis Gimbal System, 27th October 1960 (confidential)
- NAHC/HIG/C6/14 E. J. Hutton, Notes on the Use of Digital Computers for the Calculations for Semi- Conductor Assessment Tests, 13th February 1961
- NAHC/HIG/C6/15 M. F. Penny, An Airborne Photo-Electric Tape Reader, 7th April 1961
- NAHC/HIG/C6/16 J. Bourne, An Analysis of Round-Off and Truncation Errors in a Multi-Digit Transfer Incremental Computer, 15th August 1961
- NAHC/HIG/C6/17 N. M. Branston, Digital Technique Study: A Logical Design of One Type of Future Minimal Airborne Digitial Computer, 10th May 1962
- NAHC/HIG/C6/18 W. Rickard and W. R. Payne, Progress Report on Non-Destructive Readout of Stored Digital Information (confidential), 16th July 1962
- NAHC/HIG/C6/19 L. Jolley, A. J. Bourne, Dexan Flight Trials. Report No. 3, 9th August 1962
- NAHC/HIG/C6/20 W. Rickard, Design Considerations for a Non-Destructive Store Using Multi- Aperture Elements, 17th August 1962
- NAHC/HIG/C6/21 B. N. Beney, A Note on the Types of Unit Likely to Use an Input/Output Computer Highway, 22nd October 1962
- NAHC/HIG/C6/22 K. S. White, Dexan. Functional Description and Programming Manual, 25th October 1962
- NAHC/HIG/C6/23 J. Bourne, A. L. Jolley, A First Proposal for an Internal Navigation Computer System for R.A.E., 17th January 1963
- NAHC/HIG/C6/24 J. J. Dodds, A Mercury Autocode Programme for the Integration of an Uncorrelated Bivariate Normal Distribution, 3rd April 1963
- NAHC/HIG/C6/25 W. Goldie, Interim Report on the Electrodeposition of Nickel-Iron Magnetic Films, 23rd May 1963
- NAHC/HIG/C6/26 E Brown, A New Type of Digitizer for Synchros (confidential), 10th July 1963
- NAHC/HIG/C6/27 L. Keeble, Baby Computer (Draft Report), undated
- NAHC/HIG/C6/28 Punch SubRoutines, 1957-1958 (various authors)
NAHC/HIG/C7 Other Department Reports:
- NAHC/HIG/C7/1 B. Randell and L. J. Russell, Report on a visit and discussion on Algol Translator with Dr. E. W. Dijkstra at Mathematisch Centrum, Amsterdam in December 1961, Atomic Power Division, EEC, London, 1962
- NAHC/HIG/C7/2 KDF 9. Introduction to Algol, EEC, 1962
- NAHC/HIG/C7/3 H. Dearnley, The F Programming System, ICT, August 1963
- NAHC/HIG/C7/4 B. W. Gregory, Three-Dimensional Model Making: Numerical Methods using the Ferranti Tape-Controlled Machine Tool, Aircraft Research Association Ltd., February 1964
NAHC/HIG/C8 Reports presented at the NATO AGARD Avionics Panel Meeting, September 1959 [see also B3: corr. AGARD]
- NAHC/HIG/C9 Automatic Programming Information, Bulleting of Abstracts, References, and Library Information issued by the Automatic Programming Information Centre (College of Technology, Brighton, England). No. 7-13, 15-19, 21-25, 1961-1965
- NAHC/HIG/C10 Miscellaneous Algol Reports, 1961-1964
- NAHC/HIG/C11 Others' Reports, 1962-1965
- NAHC/HIG/C11/1 Scientific Systems Ltd, Guide to programming, 1962
- NAHC/HIG/C11/2 J. K. Iliffe, N. Brown, PF 172, 1963 [miscellaneous technical reports on the machine, its hardware and software]
- NAHC/HIG/C11/3 W. H. Leslie, M. I. Mech and A. Russell, A Cyclic Progressive Decomal Code for Simple Translation to Decimal and Analogue Outputs, DSIR, National Engineering Laboratory, January 1964
- NAHC/HIG/C11/4 Report of the SHARE advanced language committee (as part of the FORTRAN project), April 1964
- NAHC/HIG/C11/5 Jerome A. Feldman, A Formal Semantic for Computer Languages and its Applications on a Compiler-Compiler, Carnegie Institute of Technology, April 1964.
- NAHC/HIG/C11/6 CPL Elementary Programming Manual, March 1965 [folded in "Accra" file]
- NAHC/HIG/C11/7 The Atlas 2 Supervisor and Operating System, ICT, July 1964
- NAHC/HIG/C11/8 R. A Hopgood and A. G. Bell, Atlas Algol Processor for Non-Standard Algol Programs, Algol Paper 7, Science Research Council, November 1965
- NAHC/HIG/C11/9 J. T. Colin, The IMDAC programming manual, November 1965
- NAHC/HIG/C11/10 L. Bolliett, Compiler Writing Techniques, Notes on a series of lectures to be given at the NATO Summer School on Programming Languages, Villard-de-Lans, France, September 1966
- NAHC/HIG/C12 Institute of Computer Science, University of London (Higman's reports):
- NAHC/HIG/C12/1 An exposition of BCL. Research Committee Working Paper, 28/6/1967 [2 copies] and News about BCPL, undated
- NAHC/HIG/C12/2 Postgraduate Studies in Computer Science. Datafair 1967, undated
- NAHC/HIG/C12/3 Nonpareil: A Machine-Level Machine-Independent Programming Language for the Study of Semantics, Internal Document, Institute of Computer Science, December 1968
- NAHC/HIG/C12/4 (with N. Dyson), An Extended Role for the Knuth Parsing Machine, Internal Document, Institute of Computer Science, January 1969
- NAHC/HIG/C12/5 Input Output Handling of the PDP9, Internal Document, Institute of Computer Science, January 1969
- NAHC/HIG/C12/6 Algol-LXX, Internal Document, Institute of Computer Science, July 1969 (2 copies)
- NAHC/HIG/C12/7 The Compiler-compiler Principle as a Guide to Future Developments in Syntactic Analysis or What is a Machine-Independent Compiler?, undated [2 copies]
- NAHC/HIG/C12/8 Batch-Processing or On-Line Terminals (paper prepared for the U.G.C. Working Party), undated
- NAHC/HIG/C12/9 Fortran V, 1966
- NAHC/HIG/C13 Institute of Computer Science, University of London (Others' reports):
- NAHC/HIG/C13/1 University of London, Atlas Computing Service, 1965, containing:
- NAHC/HIG/C13/2 David Henry, ACL Manual, September 1965
- NAHC/HIG/C13/3 Program Specification, ACL Bulleting II, April 1968
- NAHC/HIG/C13/4 Addenda to the ACL Manual, undated
- NAHC/HIG/C13/5 E. W. Dijkstra, "Cooperating Sequential Processes", Technological University, Eindhoven, September 1965
- NAHC/HIG/C13/6 Ole-Johan Dahl and Kristen Nygaard, "SIMULA, an Algol Based Simulation Language", Norwegian Computing Centre, April 1966
- NAHC/HIG/C13/7 E. Rejwan, "The KINK List-Processing System", ICS, London, June 1966
- NAHC/HIG/C13/8 C. A. R. Hoare, "Record Handling, A Series of Lectures to be delivered at the NATO Summer School", September 1966
- NAHC/HIG/C13/9 "Programming in Imp", Department of Computer Science, University of Edinburgh, November 1966
- NAHC/HIG/C13/10 Henrici, "Some Notes on the Systemic Generation of a Paradigm of the English Clause", Communication Research Centre, Department of General Linguistics, UCL, 1966
- NAHC/HIG/C13/11 Nicholas V. Findler, "A Computer Language which Simulates Associative Memory and Parallel Processing and which can be embedded in High Level Algebraic Language", State University, New York, 1967
- NAHC/HIG/C13/12 ML/1 Users Manual containing an appendix C describing the implementation available on the Lancaster University ICL 1900 Computer, June 1967
- NAHC/HIG/C13/13 Niklaus Wirth, "A Programming Language for the 360 Computers", Computer Science Department, Stanford University, June 1967
- NAHC/HIG/C13/14 R. J. Wakefield, "Crampon, a way of describing language in terms of levels of reaction to messages from an external source", ICS, London, February 1968
- NAHC/HIG/C13/15 Raymond Reiter, "On Assembly-Line Balancing Problems", ICS, London, May 1968
- NAHC/HIG/C13/16 S. Gregory, "The STUG-I. On-Line Programming Language", May. 1968
- NAHC/HIG/C13/17 James R. Hurford, "Mechanical Analysis of English Cardinal Numeral Expressions", System Development Corporation, Santa Monica, Cal, August 1968
- NAHC/HIG/C13/18 James R. Hurford, "Mechanical Semantic Analysis and the Compatibility of English Adjectives", System Development Corporation, Santa Monica, Cal, September 1968
- NAHC/HIG/C13/19 R. Nelson, "EMN, A programming notation", Dept. of Computer Science, Queen's University, Belfast, May 1969.
- NAHC/HIG/C13/20 Alan Fairbourn, The MINAC Computer Manual, ICS, London, October 1969
- NAHC/HIG/C13/21 C. A. R. Hoare, "Continuation of Notes on Theory and Data Structures", 1969
- NAHC/HIG/C14 Reports of the Royal Radar Establishment (RRE), containing:
- NAHC/HIG/C14/1 J. Fox and P. W. Edwards, "The Data Retrieval Language Clic - A Sample Conversation", RRE, February 1968
- NAHC/HIG/C14/2 R. Simpson, "Sag-A, Syntax Analyser Generator, RRE Technical Note No. 739, October 1968
- NAHC/HIG/C14/3 P. M. Woodward, A Tutorial Guide to Parameter Substitution with Special Reference to Algol and Coral, RRE Memorandum No. 2567, August 1969
- NAHC/HIG/C14/4 F. Currie, "Working Description of Algol 68-R," RRE Memorandum 2660
- NAHC/HIG/C15 Higman's draft for a "Dictionary of Computer-User Terms", 1969 [see also correspondence with Janet Liebster, Associate Editor of the Hamlyn Group commissioning the work for the dictionary]
- NAHC/HIG/C16 Notes on "Kart", 1969-1970. Also containing:
- NAHC/HIG/C16/1 One handwritten copy and two typescripts of "Kart on Nova".
- NAHC/HIG/C16/2 A Facts Interpreter for Avoidance of Addressing Errors
- NAHC/HIG/C16/3 Attempted Layout of 2nd Eprom
- NAHC/HIG/C16/4 PT1 Practicals in Algol 68
- NAHC/HIG/C16/5 Miscellanea Including Orion
NAHC/HIG/C17 Department of Computer Studies, University of Lancaster (Hygman's reports):
- NAHC/HIG/C17/1 A Generalised Grammatical System, undated, ca 1970 [2 copies]
- NAHC/HIG/C17/2 A Second EPROM for NASCOM I, ca 1970
- NAHC/HIG/C17/3 University of Lancaster, Department of Operational Research, Results of Survey on Past Graduates and of their views on the MA Course, 1971.
- NAHC/HIG/C17/4 Free Ninth Unit, a collection of exam papers for computing students
- NAHC/HIG/C17/5 Permutations, Structured Programming, and Own Variables, undated, ca 1970
- NAHC/HIG/C17/6 A Computing and Linguistics Problem, 1972
- NAHC/HIG/C17/7 N. M. Brooke, "202a: Machine-Code: Language" and incorporating a Zerocode manual by B. Higman and J. S. Hampton, September 1972
- NAHC/HIG/C17/8 A Fortran version of the NOVA Assembler, 1973
- NAHC/HIG/C17/9 The "Syntax" of Algol 68, 1975
- NAHC/HIG/C17/10 Report on a rich and powerful language of general application (project Nelly and Omnibus, 1976
- NAHC/HIG/C18 Department of Computer Studies, University of Lancaster (Others' reports):
- NAHC/HIG/C18/1 P. Ambler and R. M. Burstall, "Question-Answering and Syntax Analysis", Department of Machine Intelligence and Perception, University of Edinburgh, March 1969
- NAHC/HIG/C18/2 B. Johnston, "The Contour Model of Block Structured Processes", Research and Development Centre, GE, New York, October 1970
- NAHC/HIG/C18/3 P. M. D. Gray, "ABSET- An Extensible Language", Computer Research Group, University of Aberdeen, 1971
- NAHC/HIG/C18/4 Christopher Strachey and Joseph Stoy, "OS6. An Operating System for a Small Computer", Programming Research Group, Oxford University Computing Laboratory, May 1972
- NAHC/HIG/C18/5 Christopher Strachey and Joseph Stoy, "The Text of O S Pub", Programming Research Group, Oxford University Computing Laboratory, July 1972
- NAHC/HIG/C18/6 P. M. B. Vitanyi, "Genetics of Reproducing Data", Mathematisch Centrum, Amsterdam, March 1974
- NAHC/HIG/C18/7 P. M. B. Vitanyi, "On The Size of DOL Languages", Mathematisch Centrum, Amsterdam, April 1974
- NAHC/HIG/C18/8 Degrees in Data processing, Draft Report of the Working Party set up by the British Computer Society, July 1974
- NAHC/HIG/C19 Folder containing proposal written by A. G. Mackenzie to the Office of Scientific and Technical Information for support on the development of a "hybrid" computerised circulation system with handwritten notes and typescript of B. Higman.
- NAHC/HIG/C20 Book Draft Fragments, 1973ca. [presumably draft for Higman's book Foundation Course in Computer Science].
- NAHC/HIG/C21 More Fragments, handwritten notes, etc., 1973ca. On: C21/1 Grammar in General C21/2 Specific Grammars C21/3 Sample Programs C21/4 S-expressions C21/5 Linguistic Routines C21/6 Compiler Miscellany C21/7 System Microps
- NAHC/HIG/C22 Programs, 1976ca.
- NAHC/HIG/C23 Home Computer Cryptography. Book to "make computers do codes for you". Four draft copies and some handwritten notes, ca 1978
- NAHC/HIG/C24 Some philosophy and Some Conclusions for Standardisers of Code and Character Sets, undated.
- NAHC/HIG/C25 Notebook, undated.