The design and semantic analysis of a programming language and its compiler. - Peter Henderson 001 (1970)

Derived Semantics for Some Programming Language Constructs. - Peter Henderson 001 (Commun. ACM, 1972)

A Tool for Structured Program Development. - Peter Henderson 001; Robert A. Snowdon (IFIP Congress, 1974)

Finite state testing of structured programs. - Peter Henderson 001; Peter Quarendon (Symposium on Programming, 1974)

Finite state modelling in program development. - Peter Henderson 001 (Reliable Software, 1975)

A Lazy Evaluator. - Peter Henderson 001; James H. Morris Jr. (POPL, 1976)

An Approach to Compile-Time Type Checking. - Peter Henderson 001 (IFIP Congress, 1977)

Functional programming - application and implementation. - Peter Henderson 001 (Prentice Hall, 1980)

Academic/industrial collaboration in a postgraduate MSc course in Software Engineering. - David Budgen; Peter Henderson 001; Chic Rattray (J. Syst. Softw., 1989)

POSD-a notation for presenting complex systems of processes. - Peter Henderson 001; Graham D. Pratten (ICECCS, 1995)

Executing formal specifications need not be harmful. - Andrew M. Gravell; Peter Henderson 001 (Softw. Eng. J., 1996)

Laws for dynamic systems. - Peter Henderson 001 (ICSR, 1998)

An Empirical Study of the Evolution of a Software System. - Robert Mark Greenwood; Brian Warboys; Rachel Harrison; Peter Henderson 001 (ASE, 1998)

RolEnact: role-based enactable models of business processes. - Keith Phalp; Peter Henderson 001; Robert John Walters; Geetha Abeysinghe (Inf. Softw. Technol., 1998)

An Experiment to Improve Cost Estimation and Project Tracking for Software and Systems Integration Projects. - Brian W. Chatters; Peter Henderson 001; Chris Rostron (EUROMICRO, 1999)

Component-based Systems as an Aid to Design Validation. - Peter Henderson 001; Robert John Walters (ASE, 1999)

System Design Validation Using Formal Models. - Peter Henderson 001; Robert John Walters (IEEE International Workshop on Rapid System Prototyping, 1999)

Editorial: Systems engineering for business process change. - Peter Henderson 001 (IEE Proc. Softw., 1999)

Simulating a process strategy for large scale software development using systems dynamics. - Peter Henderson 001; Yvonne Margaret Howard (Softw. Process. Improv. Pract., 2000)

Inconsistency Tolerance across Enterprise Solutions. - Peter Henderson 001; B. Walters; Stephen Crouch (FTDCS, 2001)

Behavioural analysis of component-based systems. - Peter Henderson 001; Robert John Walters (Inf. Softw. Technol., 2001)

A tool for evaluation of the software development process. - Peter Henderson 001; Yvonne Margaret Howard; Robert John Walters (J. Syst. Softw., 2001)

Reasoning about Asynchronous Behaviour in Distributed Systems. - Peter Henderson 001 (ICECCS, 2002)

Comparison of Some Negotiation Algorithms Using a Tournament-Based Approach. - Peter Henderson 001; Stephen Crouch; Robert John Walters; Qinglai Ni (Agent Technologies, Infrastructures, Tools, and Applications for E-Services, 2002)

Extending the concept of transaction compensation. - Mandy Chessell; Catherine Griffin; David Vines; Michael J. Butler; Carla Ferreira 001; Peter Henderson 001 (IBM Syst. J., 2002)

Functional Geometry. - Peter Henderson 001 (High. Order Symb. Comput., 2002)

Effects of Introducing Survival Behaviours into Automated Negotiators. - Peter Henderson 001; Stephen Crouch; Robert John Walters; Qinglai Ni (COMPSAC, 2003)

DataWarp: Building Applications Which Make Progress in an Inconsistent World. - Peter Henderson 001; Robert John Walters; Stephen Crouch; Qinglai Ni (DAIS, 2003)

Implementing Hierarchical Features in a Graphically Based Formal Modelling Language. - Peter Henderson 001; Robert John Walters; Stephen Crouch (COMPSAC, 2004)

Information Invasion in Enterprise Systems: Modelling, Simulating and Analysing System-Level Information Propagation. - Peter Henderson 001; Stephen Crouch; Robert John Walters (ICEIS (1), 2004)

Reusable Web Services. - Peter Henderson 001; Jingtao Yang (ICSR, 2004)

A Practical Modelling Notation for Secure Distributed Computation. - Yih-Jiun Lee; Peter Henderson 001 (AINA, 2005)

Building Applications Able to Cope with Problematic Data Using a Datawarp Approach. - Stephen Crouch; Peter Henderson 001; Robert John Walters (ICEIS (1), 2005)

Narrative Support for Technical Documents: Formalising Rhetorical Structure Theory. - Nishadi De Silva; Peter Henderson 001 (ICEIS (4), 2005)

Document Flow Model: A Formal Notation for Modelling Asynchronous Web Services Composition. - Jingtao Yang; Corina Cîrstea; Peter Henderson 001 (OTM Workshops, 2005)

An Operational Semantics for DFM, a Formal Notation for Modelling Asynchronous Web Services Coordination. - Jingtao Yang; Corina Cîrstea; Peter Henderson 001 (QSIC, 2005)

Web Service Grids: an evolutionary approach. - Malcolm P. Atkinson 001; David De Roure; Alistair N. Dunlop; Geoffrey C. Fox; Peter Henderson 001; Anthony J. G. Hey; Norman W. Paton; Steven J. Newhouse; Savas Parastatidis; Anne E. Trefethen; Paul Watson 001; Jim Webber (Concurr. Pract. Exp., 2005)

Effects of introducing survival behaviours into automated negotiators specified in an environmental and behavioural framework. - Peter Henderson 001; Stephen Crouch; Robert John Walters; Qinglai Ni (J. Syst. Softw., 2005)

A Narrative Approach to Collaborative Writing - A Business Process Model. - Peter Henderson 001; Nishadi De Silva (ICEIS (4), 2006)

DataWarp: Empowering Applications to Make Progress in the Face of Contradictory or Inconsistent Data. - Stephen Crouch; Peter Henderson 001; Robert John Walters (COMPSAC (1), 2007)

Selecting a distributed agreement algorithm. - Robert John Walters; Peter Henderson 001; Stephen Crouch (SAC, 2007)

Narrative-based writing for coherent technical documents. - Nishadi De Silva; Peter Henderson 001 (SIGDOC, 2007)

Special Issue: Middleware for Grid Computing: A 'Possible Future'. - Bruno Schulze; Geoff Coulson; Radha Nandkumar; Peter Henderson 001 (Concurr. Comput. Pract. Exp., 2007)

Utilising Located Functions to Model and Optimise Distributed Computations. - Stephen Crouch; Peter Henderson 001; Robert John Walters (COMPSAC, 2008)

System Architecture Induces Document Architecture. - Peter Henderson 001; Nishadi De Silva (SEKE, 2008)

Consistency Checking for Component Reuse in Open Systems. - Peter Henderson 001; Matthew J. Henderson (ICSR, 2009)

Collaborative Development of System Architecture - a Tool for Coping with Inconsistency. - Peter Henderson 001; Matthew J. Henderson (SEKE, 2009)