Abstracts for all of these papers are available here. In most cases, the full text of a paper can be downloaded provided that this is for non-commercial personal research/study purposes. Exceptionally, the full text of a paper can be downloaded only if you are a member of the University of Warwick (staff or student). You may need to sign in -- use the link at the top right. If you are not at Warwick and would like a copy of such a paper, please contact us.

2009

• Ilkka Jormanainen, Meurig Beynon, Erkki Sutinen. Understanding open learning processes in a robotics class. Koli Calling 2009, to appear [109]
  
• Meurig Beynon, Antony Harfield and Richard Myers. Web Eden: support for computing as construction?. Koli Tools 2009, to appear [108]
  
• Meurig Beynon, Constructivist Computer Science Education Reconstructed. HEA-ICS ITALICS e-Journal, Volume 8 Issue 2, June 2009, 73-90 [107]
  
• Antony Harfield, Meurig Beynon and Richard Myers. Web Eden and Moodle: an Empirical Modelling approach to web-based education. In Proceedings of the Eighth IASTED International conference on Web-Based Education, 16-18th March 2009, 272-278. [106]

2008

• Meurig Beynon, Russell Boyatt and Zhan En Chan. Intuition in Software Development Revisited. In Proceedings of 20th Annual Psychology of Programming Interest Group Conference, Lancaster University, UK, September 2008 (12pp) [105]
  
• Meurig Beynon, Antony Harfield and Mikko Vesisenaho. Contextualising Information and Communications Technology in Developing Countries. In Proceedings of 7th Annual Finnish/Baltic Sea Conference on Computer Science Education (Koli Calling 2007), Conferences on Research and Practice in Information Technology, Vol. 88, November 2007, 31-40. [104]
  

2007

• Meurig Beynon. Visualisation using Empirical Modelling principles and tools. AHRC ICT Methods Network Expert Workshop "From Abstract Data Mapping to 3D Photorealism: Understanding Emerging Intersections in Visualisation Practices and Techniques", June 19th 2007, Birmingham UK. [103]
  
• Chris Roe and Meurig Beynon. Dependency by definition in Imagine-d Logo: applications and implications. In Ivan Kalaš (ed.) Proc. of the 11th European Logo Conference 19-24 August 2007, Bratislava, Slovakia (11pp - published on CD ISBN: 978-80-89186-20-4): Abstracts, Faculty of Mathematics, Physics and Informatics, Comenius University, Bratislava, p75. [102]
  
• Steve Russ. Computing with Experience (abstract only). Models and Simulations 2, Tilburg, October 11-13, 2007. [101]
  
• Meurig Beynon and Antony Harfield. Lifelong Learning, Empirical Modelling and the Promises of Constructivism. Journal of Computers, Volume 2, Issue 3, May 2007, 43-55. [100]
  
• Steve Russ. Bernard Bolzano and the Making of Meaning in Mathematics (abstract only). The Fifth European Summer University (ESU'5), History and Epistemology in Mathematics Education, Prague, July 19-24, 2007. [099]
  
• Meurig Beynon and Steve Russ. Experimenting with Computing. Journal of Applied Logic 6 (2008), pp. 476-489. Extended abstract as presented at European Computing and Philosophy (ECAP'07), Twente, The Netherlands, June 21-23, 2007.) [098]
  
• Steve Russ. Modelling in Mathematics: a common interest for Philosophy and History?. Perspectives in Mathematical Practice, Brussels, March 26-28 2007. [097]
  
• Meurig Beynon. Computing technology for learning - in need of a radical new conception. In Journal of Educational Technology & Society, 10 (1), 94-106. [096]
  

2006

• Meurig Beynon and Zhan En Chan. A conception of computing technology better suited to distributed participatory design . NordiCHI Workshop on Distributed Participatory Design, Oslo, Norway, October 2006. [095]
  
• Meurig Beynon. Mathematics and Music - Models and Morals. In Conference Proceedings, Bridges London: Mathematical Connections in Art, Music, and Science (eds. Sarhangi and Sharp), Tarquin Books, 2006, 437-444. [094]
• Meurig Beynon. Dissolving dualities in mind, music and mechanism (abstract only). International Conference on Music and Consciousness: Abstracts, The Department of Music, The University of Sheffield, July 2006, 10-11. [093]
• Meurig Beynon. Towards Technology for Learning in a Developing World. In Proc. IEEE 4th International Workshop on Technology for Education in Developing Countries, Iringa, Tanzania, July 2006, 88-92. [092]
• Meurig Beynon, Roderick R Klein, Steve Russ. Humanities' Computings (extended abstract only). In Digital Humanities 2006: 1st International Conference of the Alliance of Digital Humanities Organisations, Conference Abstracts, Paris-Sorbonne, France, July 2006, 17-20. [091]
• Russell Boyatt, Antony Harfield, Meurig Beynon. Learning about and through Empirical Modelling. In Proc 6th IEEE International Conference on Advanced Learning Technologies (ICALT 2006) Kerkrade, The Netherlands, July 2006, 662-666. [090]
• Meurig Beynon, Antony Harfield. Rethinking Life-long Learning: the Empirical Modelling Approach. In Proc 6th IEEE International Conference on Advanced Learning Technologies (ICALT 2006) Kerkrade, The Netherlands, July 2006, 854-858. [089]
• Meurig Beynon, Rody R.Klein. Métis meets Empirical Modelling: from ancient wisdom to emerging technology. In IST-Africa 2006 Conference Proceedings (eds. Paul and Miriam Cunningham), IIMC International Information Management Corporation ISBN: 1-905824-01-7, 2006 (13pp - published on CD). [088]
• W.M.Beynon, R.C.Boyatt and S.B.Russ. Rethinking Programming. In Proceedings IEEE Third International Conference on Information Technology: New Generations (ITNG 2006), April 10-12, 2006, Las Vegas, Nevada, USA 2006, 149-154. [087]
• W.M.Beynon and Chris Roe. Enriching Computer Support for Constructionism. In Eshaa Alkhalifa (ed.) Cognitively Informed Systems: Utilizing Practical Approaches to Enrich Information Presentation and Transfer, Idea Group Publishing, 2006, 209-233. [086]

2005

• W.M.Beynon, Antony Harfield and Ilkka Jormanainen. Varieties of Concretisation: an illustrative case-study. In Proceedings of 5th Annual Finnish/Baltic Sea Conference on Computer Science Education (Koli Calling 2005), December 2005, 153-6. [085]
• W.M.Beynon. Computational Support for Realism in Virtual Environments. In Proc 11th International Conference on Human-Computer Interaction (HCII 2005): Volume 10 - Internationalization, Online Communities and Social Computing: Design and Evaluation, Las Vegas, NV, 22-27 July 2005 (7pp. - published on CD). [084]
• W.M.Beynon and Antony Harfield. Empirical Modelling in Support of Constructionist Learning: a Case Study from Relational Database Theory. In Proc 5th IEEE International Conference on Advanced Learning Technologies (ICALT'05) Kaohsiung, Taiwan, July 2005, 396-8. (An extended version of this paper appears as CS-RR-412.) [083]
• W.M.Beynon, Steve Russ and Willard McCarty. Human Computing: Modelling with Meaning. Literary and Linguistic Computing 21(2), 2006, 141-157. [082]
• W.M.Beynon, Antony Harfield and Sunny Chang. Alternative model-building for the study of socially interactive robots. In Proc. AISB'05 Symposium on Robot Companions Hard Problems and Open Challenges in Human-Robot Interaction, University of Hertfordshire, UK, April 2005, 5-15. [081]

2004

• W.M.Beynon and Chris Roe. Computer support for constructionism in context. In Proc. of ICALT'04, Joensuu, Finland, August 2004, 216-220. [080]

2003

• W.M.Beynon, A.H.Bhalerao, Chris Roe and Ashley Ward. A computer-based environment for the study of relational query languages. In Proc. of the Teaching, Learning and Assessment in Databases Workshop, Coventry, UK, July 2003, 104-108. [079]
• W.M.Beynon. Radical Empiricism, Empirical Modelling and the nature of knowing. In (ed. Itiel E Dror) Cognitive Technologies and the Pragmatics of Cognition: Special Issue of Pragmatics and Cognition, 13:3, December 2005, 615-646.
  Also available online in Proceedings of the WM 2003 Workshop on Knowledge Management and Philosophy, Luzern, April 3-4, 2003, and as a book chapter in Dror, Itiel E. (ed.), Cognitive Technologies and the Pragmatics of Cognition, Benjamin, 2007, 155-184. [078]

2002

• Soha Maad. Novel Software System Development for Finance. Proceedings of Business Information Technology Conference BIT2002, Manchester, UK 2002. [077]
• Suwanna Rasmequan and S.B.Russ. Knowledge Modelling. Proceedings of the IASTED Conference on Applied Modelling and Simulation, MIT, Cambridge MA, November 2002. [076]
• P.Eronen, J.Jarvela, Chris Roe and M.Virnes. Using Empirical Modelling to simulate robotics in Kids Club. 2nd Annual Finnish/Baltic Sea Conference on Computer Science Education, (Koli Calling), Joensuu, Finland, 18-20 October, 2002, pp 63-68. [075]
• Chris Roe and W.M.Beynon. Empirical Modelling principles to support learning in a cultural context. In Proceedings of 1st International Conference on Educational Technology in Cultural Context, University of Joensuu, Finland, 2002, pp 151-172. [074]
• W.M.Beynon. Software evolution and the semantic relation: an Empirical Modelling perspective (abstract only). In Software Evolution and Evolutionary Computation Symposium Abstracts, University of Hertfordshire Computer Science Technical Report No 364, February 2002, University of Hertfordshire, Hatfield, UK. [073]

2001

• W.M.Beynon. Liberating the Computer Arts. Proc DALI'2001, First International Conference on Digital and Academic Liberty of Information, University of Aizu, Japan, March 2001 (invited paper, 25pp). [072]
• Kiran Fernandes, Vinesh Raja, John Keast, W.M.Beynon, Pui Shan Chan and Mike Joy. Business and IT Perspectives on AMORE: a Methodology for Object-Orientation in Re-engineering Enterprises. In Systems Engineering for Business Process Change: New Directions, (ed P. Henderson) Springer-Verlag 2002, ISBN 1-85233-399-5, 274-297. [071]
• Soha Maad, W.M.Beynon and Samir Garbaya. Realising Virtual Trading: what price Virtual Reality?. Usability Evaluation and Interface Design: Cognitive Engineering, Intelligent Agents and Virtual Reality, M.J. Smith,G. Salvendy, D. Harris, R.J. Koubek (editors), Lawrence Erlbaum Associates, Mahwah, N.J., 2001 pp. 1007 - 1011. [070]
• W.M.Beynon, Chris Roe, Ashley Ward and Allan Wong. Interactive Situation Models for Cognitive Aspects of User-Artefact Interaction. Proc Cognitive Technology: Instruments of Mind, University of Warwick, August 2001, LNAI 2117, Springer-Verlag, 2001, p356-372, ISBN 3-540-42406-7. [069]
• W.M.Beynon, Yih-Chang Ch'en, Hsing-Wen Hseu, Soha Maad, Suwanna Rasmequan, Chris Roe, Jaratsri Rungrattanaubol, Steve Russ, Ashley Ward and Allan Wong. The Computer as Instrument. Proc Cognitive Technology: Instruments of Mind, University of Warwick, August 2001, LNAI 2117, Springer-Verlag, 2001, p476-489, ISBN 3-540-42406-7. [068]
• Michael Evans, W.M.Beynon, Carlos N Fischer. Empirical Modelling for the Logistics of Rework in the Manufacturing Process. Proc 16th Brazilian Congress of Mechanical Engineering, November 2001, p226-234, ISBN 85-85769-06-6. [067]
• Carlos N Fischer and W.M.Beynon. Empirical Modelling in Product Design. Proc 16th Brazilian Congress of Mechanical Engineering, November 2001, p218-225, ISBN 85-85769-06-6. [066]
• Chris Roe, W.M.Beynon and Carlos N Fischer. Empirical Modelling for the Conceptual Design and Use of Products. Proc Int Conf on Simulation and Multimedia in Engineering Education, Phoenix, Arizona, January 2001, p27-32, The Society for Modelling and Simulation International, 2001, ISBN: 1-56555-224-5. [065]
• Carlos N Fischer and W.M.Beynon. Empirical Modelling of Products. Proc Int Conf on Simulation and Multimedia in Engineering Education, Phoenix, Arizona, January 2001, p20-26, The Society for Modelling and Simulation International, 2001, ISBN: 1-56555-224-5. [064]

2000

• W.M.Beynon and S. Maad. Integrated Environments for Virtual Collaboration: an Empirical Modelling Perspective. Proceedings of the Fifth World Conference On Integrated Design & Process Technology, Texas 2000. [063]
• W.M.Beynon and S. Maad. Empirical Modelling of Real Life Financial Systems: The need for Integration of Enabling Tools and Technologies. Journal of Integrated Design and Process Science, Volume 6, Issue 1, January 2002, p43-58. First published in Proceedings of the Fourth World Conference On Integrated Design & Process Technology, incorporated into the Fifth World Conference, Texas 2000. [062]
• W.M. Beynon, S. Rasmequan and S. Russ. A New Paradigm for Computer-Based Decision Support. Decision Support Systems, vol 33 (2002) p127-142. [061]
• Y-C. Chen, S. Russ and W.M. Beynon. Participative Process Modelling. Proceedings of the IEEE SMC 2000 "Cybernetics Evolving to Systems, Humans, Organizations and their complex interactions", Tennessee, USA, October 8-11, 2000. [060]
• S. Rasmequan and S. Russ. Cognitive Artefacts for Decision Support. Proceedings of the IEEE SMC 2000 "Cybernetics Evolving to Systems, Humans, Organizations and their complex interactions", Tennessee, USA, October 8-11, 2000. [059]
• W.M.Beynon, A. Ward, S. Maad, A. Wong, S. Rasmequan, and S. Russ. The Temposcope: a Computer Instrument for the Idealist Timetabler. Proceedings of the 3rd international conference on the practice and Theory of Automated Timetabling, Konstanz, Germany, August 16-18, 2000, ISBN: 3-00-003866-3, 153-175. [058]
• W.M.Beynon, S. Rasmequan and S. Russ. An Experience-Based Approach to Decision Support Systems. Position paper for IFIP Working Group 8.3, Working Conference on Decision Support Through Knowledge Management, Stockholm, Sweden, July 9-11, 2000. [057]
• Y-C. Chen, S.Russ and W.M. Beynon. Empirical Modelling for Business Process Reengineering: An Experience-Based Approach. Proceedings workshop on Perspective in Business Informatics Research (BIR-2000) Rostock, Germany, March 31- April 1, 2000. [056]
• W.M. Beynon, S. Rasmequan and S. Russ. The Use of Interactive Situation Models for the Development of Business Solutions. Proceedings workshop on Perspective in Business Informatics Research (BIR-2000) Rostock, Germany, March 31- April 1, 2000. [055]
• S. Rasmequan, C. Roe and S. Russ. Strategic Decision Support Systems: An Experience-Based Approach. Proceedings of the 18th IASTED Conference on Applied Informatics, Innsbruck, Austria, February 14-17 2000. [054]

1999

• W.M.Beynon and P-H. Sun. Computer-mediated communication: a Distributed Empirical Modelling perspective. Proceedings of CT'99, San Francisco, August 1999. [053]
• W.M.Beynon, R. Cartwright, P-H. Sun and A. Ward. Interactive Situation Models for Information Systems Development. Proceedings of SCI'99 and ISAS'99, Volume 2, 9-16,Orlando, USA July 1999. [052]
• W.M.Beynon, J. Rungrattanaubol and J. Sinclair. Formal Specification from an Observation-Oriented Perspective. Journal of Universal Computer Science, Vol. 6 (4), 407-421, 2000. (Originally presented at 15th British Colloquium in Theoretical Computer Science, Keele University, April 1999.) [051]
• W.M.Beynon. Empirical Modelling and the Foundations of Artificial Intelligence. Computation for Metaphors, Analogy and Agents, Lecture Notes in Artificial Intelligence 1562, Springer, 322-364, 1999. [050]

1998

• W.M.Beynon and P-H.Sun. Empirical Modelling: a New Approach to Understanding Requirements. Proc. 11th International Conference on Software Engineering and its Applications, Vol.3, Paris, December 1998. [049]
• J.A.Allderidge, W.M.Beynon, R.I.Cartwright and Y.P.Yung. Enabling Technologies for Empirical Modelling in Graphics. Proc. Eurographics UK, 16th Annual Conference, 199-213, 1998. [048]

1997

• W.M.Beynon. Empirical Modelling for Educational Technology. Proc. Cognitive Technology '97, University of Aizu, Japan, IEEE, 54-68, 1997. [047]
• W.M.Beynon and R.I.Cartwright. Empirical Modelling Principles in Application Development for the Disabled. Proc. IEE Colloquium: Computers in the Service of Mankind: Helping the Disabled, IEE Digest No 97/117, 4/1-4/3, March 1997. [046]
• S.B.Russ. Empirical modelling: the computer as a modelling medium. The Computer Bulletin, Volume 39, Number 2, April 1997, pp. 20-22(3).

1996

• D.K.Gehring. Spreadsheets and programming. Proceedings of the First Psychology of Programming Interest Group Postgraduate Student Workshop, ISBN 1 874152 04 7, 1996. [045]
• D.K.Gehring, Y.P.Yung, R.I.Cartwright, W.M.Beynon and A.J.Cartwright. Higher-order constructs for interactive graphics in a definitive programming framework. Proc. 14th Eurographics UK Conference, 179-192, 1996. [044]

1990-1995

• W.M.Beynon and R.I.Cartwright. Empirical Modelling Principles for Cognitive Artefacts. Proc. IEE Colloquium: Design Systems with Users in Mind: The Role of Cognitive Artefacts, Digest No. 95/231, 8/1-8/8, December 1995. [043]
• W.M.Beynon, C.J.Sidebotham and Y.P.Yung. Computer-Assisted Jigsaw Construction: a Case-Study in Empirical Modelling. Proc. 5th Eurographics Workshop on Programming Paradigms for Graphics, Maastricht, 37-50, September 1995. [042]
• W.M.Beynon, P.E.Ness and S.B.Russ. Worlds Before and Beyond Words. Proc. VF '95, Warwick University, 1995. [041]
• W.M.Beynon, V.D.Adzhiev, A.J.Cartwright and Y.P.Yung. An Agent-oriented Framework for Concurrent Engineering. Proc. IEE Colloquium: Issues of Cooperative working in Concurrent Engineering, Digest 1994/177, 9/1-9/4, October 1994. [040]
• W.M.Beynon and Y.P.Yung. A Computer-Aided Script Generator for Computer Aided Design. Proc. Pacific Graphics'94 / CADDM'94, Vol. 2, 369-374, 1994. [039]
• W.M.Beynon, V.D.Adzhiev and A.A.Pasko. Interactive Geometric Modelling based on R-functions. Proc CSG'94: Set-Theoretic Solid Modelling: Techniques and Applications, Winchester, Information Geometers, 253-272, 1994. [038]
• W.M.Beynon. Agent-oriented Modelling and the Explanation of Behaviour. Invited Paper in Proc. International W/S "Shape Modeling Parallelism, Interactivity and Applications", Dept. of Computer Software, TR 94-1-040, Univ. Aizu, Japan, 54-63, Sept. 1994. [037]
• W.M.Beynon, P.E.Ness and Y.P.Yung. Applying Agent-oriented Design to a Sail Boat Simulation. Proc. ESDA 1994, Vol.6, 1-8, 1994. [036]
• W.M.Beynon, V.D.Adzhiev, A.J.Cartwright and Y.P.Yung. A New Computer-Based Tool for Conceptual Design. Proc. Workshop Computer Tools for Conceptual Design, Univ. of Lancaster, 171-188, 1994. [035]
• W.M.Beynon, V.D.Adzhiev, A.J.Cartwright and Y.P.Yung. A Computational Model for Multiagent Interaction in Concurrent Engineering. Proc. CEEDA'94, Bournemouth Univ., 227-232, 1994. [034]
• W.M.Beynon and M.S.Joy. Computer Programming for Noughts-and-Crosses: New Frontiers. Proc. PPIG'94, Open University, 27-37, January 1994. [033]
• W.M.Beynon. Programming as Human-Computer Interaction. Seminar notes for Manufacturing Group lecture and IBM visit, April 1993. [032]
• W.M.Beynon. A New Paradigm for Parallelism in Engineering Applications. Position paper submitted to EASE Workshop on Developing Parallel Engineering Applications, February 1993. [031]
• W.M.Beynon and A.J.Cartwright. Agent-Oriented Modelling for Engineering Design. Proc CAD '93, New Information Technologies in Science, Education and Business, Yalta, 49-53, May 1993. [030]
• W.M.Beynon and M.S.Joy. Modelling a Canal System using Definitive Principles. 1st National G.I.S. Conference, University of Keele, 140-149, 1993. [029]
• W.M.Beynon. New Paths for Programming in Theory and Practice. Paper prepared for a presentation at IBM Warwick, September 1992. [028]
• W.M.Beynon and S.B.Russ. The Interpretation of States: a New Foundation for Computation?. Proc. PPIG'92, Loughborough, January 1992. [027]
• W.M.Beynon and Y.P.Yung. Agent-oriented Modelling for Discrete-Event Systems. Proc IEE Coll. "Discrete-Event Dynamic Systems", Digest #1992/138, 1992. [026]
• W.M.Beynon, Y.P.Yung, A.J.Cartwright and P.J.Horgan. Scientific Visualization: Experiments and Observations. Proc. Eurographics W/S:Visualization in Scientific Computing, 157-173, 1992. [025]
• W.M.Beynon and A.J.Cartwright. Enhancing Interaction in Computer-Aided Design. Proc "Design and Automation" Conference, HK, 643-8, August 1992. [024]
• W.M.Beynon, I.Bridge and Y.P.Yung. Agent-oriented Modelling for a Vehicle Cruise Controller. Proc. ESDA Conf., ASME PD-Vol. 47-4, 159-165, 1992. [023]
• W.M.Beynon, Y.P.Yung, M.D.Atkinson and S.R.Bird. Programming Principles for Visualisation in Mathematical Research. Proc. Compugraphics '91: 1st Int Conf on Computational Graphics & Visualisation Techniques, 288-298. [022]
• W.M.Beynon. Computer Environments for Mathematical Research: a project report. University of Warwick, October 1990. [021]
• W.M.Beynon, A.J.Cartwright, S.B.Russ and Y.P.Yung. Programming Paradigms and the Semantics of Geometric Symbols (abstract). Proc. W/S "Visual Interfaces to Geometry" at CHI'90, Seattle, April 1990. [020]
• W.M.Beynon, S.B.Russ and Y.P.Yung. Programming as Modelling: New Concepts and Techniques. Proc ISLIP'90, Computing & Info Science Dept, Queen's Univ, Canada 1990. [019]
• W.M.Beynon and Y.P.Yung. Definitive Interfaces as a Visualisation Mechanism. Proc Graphics Interface '90, Canadian Inf Processing Soc, 285-292, 1990. [018]
• W.M.Beynon, M.T.Norris, R.A.Orr and M.D.Slade. Definitive specification of concurrent systems. Proc UKIT'90, IEE Conference Publications 316, 52-57, 1990. [017]
• W.M.Beynon. Parallelism in a definitive programming framework. Parallel Computing 89, Advances in Parallel Computing Vol 2, North-Holland, 425-430, 1990. [016]

1985-1989

• W.M.Beynon. Definitive programming as a framework for design. Proc. 3rd Eurographics ICAD Workshop, CWI Amsterdam, 1989. [015]
• W.M.Beynon and S.B.Russ. The Development and Use of Variables in Mathematics & Computer Science. The Mathematical Revolution Inspired by Computing, IMA Conf Series 30, 285-95, 1991. [014]
• W.M.Beynon. A definitive programming approach to the implementation of CAD software. Intell. CAD Systems II: Implementation Issues, Springer-Verlag, 126-45 (Appendix with A.J.Cartwright), 1989. A definitive notation for geometric modelling, Proc. 2nd Eurographics ICAD Workshop, CWI Amsterdam, April 1988. [013]
• W.M.Beynon and A.G.Cohn. Representing design knowledge in a definitive programming framework. IFIP WG 5.2 on Intelligent CAD, Cambridge, Sept 1988. [012]
• W.M.Beynon. Evaluating definitive principles for interactive graphics. New Advances in Computer Graphics, Springer-Verlag, 291-303, 1989. [011]
• W.M.Beynon, M.D.Slade and Y.W.Yung. Parallel computation in definitive models. CONPAR'88, British Computer Society Workshop Series CUP, 359-367, 1989. [010]
• S. B. Russ. Empirical modelling: the computer as a modelling medium. BCS Computer Bulletin, Volume 39, Number 2, April 1997, 20-22. [009]
• W.M.Beynon, K.S.H.Halstead and S.B.Russ. Definitions for the specification of educational software. Report for MESU, Dept of Education & Science, University of Warwick, 1988. [008]
• W.M.Beynon, M.T.Norris and M.D.Slade. Definitions for modelling and simulating concurrent systems. Proc. IASTED conference ASM'88, Acta Press, 1988. [007]
• W.M.Beynon and Y.W.Yung. Implementing a definitive notation for interactive graphics. New Trends in Computer Graphics, Springer-Verlag, 456-468, 1988. [006]
• W.M.Beynon. Definitive principles for interactive graphics. NATO ASI Series F, Vol 40, Springer-Verlag, 1083-1097, 1988. [005]
• W.M.Beynon and M.T.Norris. Comparison of SDL and LSD. Proc. SDL'87, ed R Saracco and P A J Tilanus, North-Holland, 201-209, 1987. [004]
• W.M.Beynon. The LSD notation for communicating systems. Computer Science Research Report 87, University of Warwick, 1986. (presented at 3rd British Colloquium for Theoretical CS, Leicester 1987). [003]
• W.M.Beynon. Paradigms for programming. Report on University Stirling Workshop on Functional and Logic Programming, Alvey Software Engineering Mailshot, December 1986. [002]
• W.M.Beynon. Definitive notations for interaction. Proc. HCI'85, ed Johnson and Cook, Cambridge University Press, 23-34, 1985. [001]