Journal papers

• 1960 Testing the Independence of a System of Axioms using a Logical Computer, Proceedings of the Cambridge Philosophical Society, Vol 57, p 443, 6 pp.
• 1962 The Determination of all Sheffer Functions in 3-valued Logic, Notre Dame Journal of Formal Logic, Vol 3, p 41, 10 pp.
• 1964 The Determination of the set of all 4-variable formulae corresponding to Universal Decision Elements, Zeitschrift fur Mathematische Logik, Vol 10, p 302, 13 pp.
• 1968 Programming Problems in Mathematical Logic, BIT Vol 8, p 104, 18 pp.
• 1968 The Implementation of Syntax Analysis using Algol, Computer Journal, Vol 10, p 325, 10 pp.
• 1968 The Construction of Examination Tables by Computer, Computer Journal, Vol 11, p 264, 5 pp.
• 1969 A Meta-Semantic Language for use with a Top-Down Analyser, with P R King, IFIP Congress 1968, p 366, 7 pp.
• 1975 Progress with an Algol 68 Numerical Algorithms Library, Proc Fifth Manitoba Conf on Numerical Mathematics, 1975, 10 pp.
• 1978 A Hybrid Computer Performance Modelling System, with M S Ali, Computer Journal, Vol 21, p 205, 5 pp.
• 1978 Monitoring the Run-time Activity of Algol 68 Programs, with D Morgan, Software Practice, Vol 8, p 29, 6 pp.
• 1978 Programming Aids for the Teaching of Programming, Software Practice, Vol 8, p 213, 13 pp.
• 1979 Improving the understanding of BASIC programs, with H C Williams, International Journal of Math Educ Sci Tech, Vol 10, p 537, 8 pp.
• 1980 Technique for Generation of Simulated Workload, with M S Ali, Journal of Computer Performance, Vol 1, p 37, 4 pp.
• 1980 Simulation of Computer Workloads, 10-th Annual Computing Science Conference, University of Cairo.
• 1981 Music Analysis by Computer, IUCC Journal, Vol 3, No 1, p 31, 4 pp.
• 1981 Validation of an Analytic Model of Computer Performance, with O Salman, Computer Journal, Vol 24, No 4, November 81, pp 347-352
• 1987 A Flexible Synonym Interface with Application Examples in CAL and HELP environments, with G M Gwei, Computer Journal Vol 30 No 6, p 551
• 1987 MUSIC A Language for Typesetting Music Scores, Software - Practice and Experience Vol 17(8) p 485-582.
• 1989 Synonomy and Contextual Disamgiguation of Words, with G M Gwei, Int Jnl Lexicography Vol 2 No 2.
• 1990 Towards a consultative on-line help system, with G M Gwei, Int Jnl Man-Machine Studies Vol 32, 363-383.
• 1990 A Syntactic & Morphological Analyser for Arabic Words, with Allel Feddag, Proceeding of the Second International Conference on Computing in Arabic-English, Cambridge University UK.
• 1990 Concepts and Issues in Multi-lingual Word Processing, with Allel Feddag, Proceeding of the Second International Conference on Computing in Arabic-English, Cambridge University UK.
• 1990 Front-end Databases for Arabic and English, with Allel Feddag, International Journal of Processing Arabic, Issue 8.
• 1990 Front-end Dictionary for Arabic, with Allel Feddag, Journal of Applied Computer Translation, Vol 1 No 2.
• 1991 Synonym Manipulation in a Concept based Environment, with G M Gwei, International Journal of Man-Machine Studies.
• 1993 S.D.Benford, E.K.Burke and E.Foxley, Learning to Construct Quality Software with the Ceilidh System, Software Quality Journal 2(2), September 1993, pages 177-197.
• 1993 S.D.Benford, E.K.Burke, E.Foxley, N.Gutteridge and A.M.Zin, Early Experiences of Computer Aided Assessment and Administration when Teaching Computer Programming, Association for Learning Technology Journal Vol.1 No.2, pages 55-70.
• 1993 S.D.Benford, E.K.Burke, E.Foxley, N.Gutteridge and A.M.Zin, Ceilidh as a Course Management Support System, Journal of Educational Technology Systems Vol.22, No.3, pages 235-250.
• 1994 Steve Benford, Edmund Burke, Eric Foxley, Colin Higgins, Abdullah Mohd Zin, Software Support for the Automated Assessment and Administration of Computer Programming Courses (in Russian), to appear in the East West Journal on Computers in Education.
• 1994 Steve Benford, Edmund Burke, Eric Foxley, Neil Gutteridge, Abdullah Mohd Zin, Software Support for Automated Assessment and Administration, to appear in the Journal of Research on Computing in Education.
• 1994 STAMS -- A Simple Text Automatic Marking System, with B. Lou, Artificial Inteligence and Simulation of Behaviour 94 conference for "Computational Linguistics for Speech and Handwriting Recognition" workshop in Leeds University, England. 12th April 1994.
• 1994 Analyse - An Automatic Program Assessment System, with Abdullah Modh Zin, Malaysian Journal of Computer Science Vol 7, p 123.
• 1995 ZFDSS: A formal development support system based on the liberal approach, with Abdullah Modh Zin, Malaysian Journal of Computer Science Vol 8.
• 1995 Software Tools for Animating a Z Specification, with Abdullah Mohd Zin, Sains Malaysiana Vol 24, No 4, Dec 1995, p 67 p 161, Dec 1995.

Conference Papers

• 1971 Efficient University Computing, British Computer Society Datafair, UK.
• 1976 A Carefully Computerised Examination System, with A N Walker, IUCC Colloquium, St Andrews, Scotland.
• 1977 Run-time Profiling of Algol 68-R, with D Morgan, Algol 68 Conference, Strathclyde, Scotland.
• 1977 Aids for Teaching Algol 68, written in Algol 68, IUCC Colloquium, Norwich, UK.
• 1980 Harmonisation and Classification of Folk Music, IUCC Colloquium, Exeter, UK.
• 1980 Computer Workload Simulation, Biennial Egyptian Conference on Computer Science and Statistics, Cairo, Egypt.
• 1981 Harmonisation of Melodies by Computer, Symposium Informatique et Musicologie, Paris, France.
• 1984 The Use of Hybrid Models in Examining Scheduling Strategies, with M S Ali, Pittsburgh Conference on Modeling and Simulation, USA.
• 1987 music : a language for describing music scores, UK Unix User Group Winter Conference, London, UK.
• 1987 Improved Natural Language Models for Consultative Computing, with G M Gwei, UK Unix User Group Summer Conference, Newcastle, UK.
• 1990 A Syntactic and Morphological Analyser for Arabic Words, with Allel Feddag, International Conference on Bi-lingual Computing, Cambridge, UK.
• 1990 Concepts and Issues in Multilingual Word Processing, with Allel Feddag, International Conference on Bi-lingual Computing, Cambridge, UK.
• 1991 Automatic Program Quality Assessment, with A M Zin, National Workshop on CASE Tools (IFIP and CSI), Sadar Patel University, Vidyanagar, Gujarat INDIA.
• 1991 An Intelligent Lexical Analyser for Arabic, with Allel Feddag, 13th Research Conference on Information Retrieval, Lancaster University UK.
• 1992 S.D.Benford, E.K.Burke and E.Foxley, Courseware to Support the Teaching of Programming, Proceedings of the Conference on Developments in the Teaching of Computer Science, University of Kent, 6th-8th April 1992, pages 158-166.
• 1992 S.D.Benford, E.K.Burke and E.Foxley, Conciousness Raising Through Automated Assessment, Proc. Open University's 2nd Workshop in the series, Directions for Computer Science Education in the Nineties: "Using technology to Deliver the Curriculum", The Open University, 30th June 1992.
• 1993 S.D.Benford, E.K.Burke, E.Foxley, N.Gutteridge and A.M.Zin, The Ceilidh Courseware System, Proceedings of the International Conference on Computer Technologies in Education (ICCTE'93), Kiev, Ukraine, September 14th-17th 1993.
• 1993 S.D.Benford, E.K.Burke, E.Foxley, N.Gutteridge and A.M.Zin, An overview of the Ceilidh system, Proceedings of the All Ireland Conference on the Teaching of Computing, Dublin City University, 8th-10th September 1993, pages 32-35.
• 1993 S.D.Benford, E.K.Burke and E.Foxley, Integrating Software Quality Assurance into the Teaching of Programming, to appear in Proc. of CSR 1993 Workshop on Industrial Applications of Software Metrics and Quality Assurance Techniques, Amsterdam 29th Sept 1st Oct 1993.
• 1993 S.D.Benford, E.K.Burke, E.Foxley, N.Gutteridge and A.M.Zin, Ceilidh: A Course Administration and Marking System, Proceedings of the International Conference of Computer Based Learning in Science, Vienna, 18th-21st December 1993, pages 364-372.
• 1993 S.D.Benford, E.K.Burke, E.Foxley, N.Gutteridge and A.M.Zin, Experiences with the Ceilidh System, Proceedings of the International Conference of Computer Based Learning in Science, Vienna, 18th21st December 1993, pages 530-537.
• 1993 S.D.Benford, E.K.Burke, E.Foxley, N.Gutteridge and A.M.Zin, CEILIDH A Management Marking System, Collected Papers of the Heads of Computing in Ex-Polytechnics Conference on Assessment in Higher Education Computing, York, June 1993.
• 1993 S.D.Benford, E.K.Burke, E.Foxley N.Gutteridge and A.M.Zin, The Ceilidh Courseware System, invited paper for the CTI Conference on Current Issues in the Teahing of Computing, University of Salford, 6th March 1993.
• 1994 S.D.Benford, E.K.Burke, E.Foxley, C.A.Higgins, Ceilidh: A Courseware System for the Assessment and Administration of Computer Programming Courses in Higher Education, Proceedings of the Interdisciplinary Workshop on Complex Learning in Computer Environ- ments, University of Joensuu, Finland, May 16th-19th 1994, pages 143-148.
• 1994 S.D.Benford, E.K.Burke, E.Foxley, N.Gutteridge and C.A.Gibbon, A Course Administration System for Remote Access, Proceedings of the XXIX Annual International Conference of the Association for Educational and Training Technology, Napier University Edinburgh, 11th- 13th April 1994.
• 1994 S D Benford, E K Burke, E Foxley, Teaching Programming to Software Quality Standards, Proceedings of the Conference of Computer Aided Learning in Engineering, University of Sheffield, 5-7 Sept 1994, pages 135-148.
• 1994 S D Benford, E K Burke, E Foxley, A M Zin, C A Higgins, Software Quality Assessment in Ceilidh, to appear in the Proceedings of the 2nd East-West International Conference on Computer Techno logies in Education Vol. 1, Crimea, Ukraine, 19-23 Sept 1994, pages 2228.
• 1994 S D Benford, E K Burke, E Foxley, N H Gutteridge, C A Gibbon, Observations on the Impact of the Ceilidh System on the Teaching of Computer Programming, to appear in the Proceedings of the Second All Ireland Conference on the Teaching of Computing, Dublin City University, September 1994.
• 1994 S D Benford, E K Burke, E Foxley, C A Higgins, Ceilidh: A Management System for the Administration and Assessment of Computer Pro- gramming Courses, to appear in the Proceedings of the International Conference on Computer-Assisted Education and Training in Developing Countries, Johannesbourg, South Africa, 17-21 October 1994.
• 1994 S D Benford, E K Burke, E Foxley, A M Zin, C A Higgins, Software Quality Assessment in Ceilidh, invited paper for the CTI Conference on Current Developments to Support the Teaching of Computing, University of Salford, 22nd April 1994.
• 1994 S D Benford, E K Burke, E Foxley, A Multi-subject Intelligent Student Assessment System, to appear in the Proceedings of the Second Singapore International Conference on Intelligent Systems (SPICIS 94), 14th-17th November 1994.
• 1995 A M Zin, E Foxley, A System for reparing a Formal Specification, ICECS'95, Amman Jordan (17-21 Dec 1995)

Internal Reports

• S.D.Benford, E.K.Burke and E.Foxley, C.A.Gibbon, N.Gutteridge and A.M.Zin, Teacher Guide to the CEILIDH system, LTR Report, Computer Science Dept, Nottingham University.
• S.D.Benford, E.K.Burke and E.Foxley, C.A.Gibbon, N.Gutteridge and A.M.Zin, Course Developer Guide to the CEILIDH system, LTR Report, Computer Science Dept, Nottingham University.
• S.D.Benford, E.K.Burke and E.Foxley, C.A.Gibbon, N.Gutteridge and A.M.Zin, Tutor Guide to the CEILIDH system, LTR Report, Computer Science Dept, Nottingham University.
• S.D.Benford, E.K.Burke and E.Foxley, C.A.Gibbon, N.Gutteridge and A.M.Zin, Student Guide to the CEILIDH system, LTR Report, Computer Science Dept, Nottingham University.
• S.D.Benford, E.K.Burke and E.Foxley, C.A.Gibbon, N.Gutteridge and A.M.Zin, Design Document for Ceilidh, LTR Report, Computer Science Dept, Nottingham University.
• E.Foxley, Abdullah Mohd Zin, The "Oracle" Program, LTR Report, Computer Science Dept, Nottingham University.