Book Reviews. - Peter J. L. Wallis (Comput. J., 1962)

Language Design for Structured Programming. - Peter J. L. Wallis (1977)

The Design of a Portable Programming Language. - Peter J. L. Wallis (Acta Informatica, 1978)

Efficient Implementation of the Ada Overloading Rules. - Peter J. L. Wallis; Bernard W. Silverman (Inf. Process. Lett., 1980)

External Representations of Objects of User-Defined Type. - Peter J. L. Wallis (ACM Trans. Program. Lang. Syst., 1980)

Some Primitives for the Portable Programming of Arrays and Vector Processors. - Peter J. L. Wallis (BIT, 1981)

Handling Type Information when Compiling a Language with User-defined Types. - Peter J. L. Wallis (Softw. Pract. Exp., 1981)

Designing Storage Management Schemes for Block-structured Languages. - Peter J. L. Wallis (Softw. Pract. Exp., 1981)

The Preparation of Guidelines for Portable Programming in High-Level Languages. - Peter J. L. Wallis (Comput. J., 1982)

The Transfer of a BCPL Compiler to the Z80 Microcomputer. - Richard I. Cowderoy; Peter J. L. Wallis (Softw. Pract. Exp., 1982)

ADA floating-point arithmetic as a basis for portable numerical software. - Peter J. L. Wallis (IEEE Symposium on Computer Arithmetic, 1983)

Conversion of Fortran to Ada Using an Intermediate Tree Representation. - John K. Slape; Peter J. L. Wallis (Comput. J., 1983)

Requirements Analysis for Ada Compilers. - Peter J. L. Wallis; Brian A. Wichmann (Commun. ACM, 1984)

Automatic language conversion and its place in the transition to Ada. - Peter J. L. Wallis (SIGAda, 1985)

Ada and software re-use. - M. F. Bott; Peter J. L. Wallis (Softw. Eng. J., 1988)

The Design and Implementation of a High-level Language Converter. - Vincent D. Moynihan; Peter J. L. Wallis (Softw. Pract. Exp., 1991)

Refinement methods and refinement calculi. - H. J. Litteck; Peter J. L. Wallis (Softw. Eng. J., 1992)

Co-Refinement. - Mike Ainsworth; Peter J. L. Wallis (Refine, 1994)

Viewpoint specification and Z. - Mike Ainsworth; A. H. Cruickshank; Peter J. L. Wallis; Lindsay J. Groves (Inf. Softw. Technol., 1994)

Formal validation of viewpoint specifications. - Mike Ainsworth; Steve Riddle; Peter J. L. Wallis (Softw. Eng. J., 1996)