On the generation of ALGOL 68 programs involving infinite modes. - Lambert G. L. T. Meertens (ACM SIGPLAN Notices, 1969)

Revised Report on the Algorithmic Language ALGOL 68 - Adriaan van Wijngaarden; Barry J. Mailloux; John E. L. Peck; Cornelis H. A. Koster; Michel Sintzoff; Charles H. Lindsey; Lambert G. L. T. Meertens; R. G. Fisker (Acta Informatica, 1975)

On the Completeness of the Inductive Assertion Method. - J. W. de Bakker; Lambert G. L. T. Meertens (J. Comput. Syst. Sci., 1975)

Revised Report on the Algorithmic Language Algol 68 - Adriaan van Wijngaarden; Barry J. Mailloux; John Edward Lancelot Peck; Cornelis H. A. Koster; Michel Sintzoff; Charles H. Lindsey; Lambert G. L. T. Meertens; R. G. Fisker (Revised Report on the Algorithmic Language Algol 68, 1976)

A Space-Saving Technique for Assigning Algol 68 Multiple Values. - Lambert G. L. T. Meertens (Inf. Process. Lett., 1976)

Revised Report on the Algorithmic Language ALGOL 68. - A. van Wijngaarcien; Barry J. Mailloux; John E. L. Peck; C. H. A. Kostcr; Michel Sintzoff; Charles H. Lindsey; Lambert G. L. T. Meertens; R. G. Fisker (ACM SIGPLAN Notices, 1977)

Abstracto 84: The next generation. - Lambert G. L. T. Meertens (ACM Annual Conference, 1979)

Recursive Assertions are not enough - or are they? - Krzysztof R. Apt; Jan A. Bergstra; Lambert G. L. T. Meertens (Theor. Comput. Sci., 1979)

Completeness with Finite Systems of Intermediate Assertions for Recursive Program Schemes. - Krzysztof R. Apt; Lambert G. L. T. Meertens (SIAM J. Comput., 1980)

Incremental Polymorphic Type Checking in B. - Lambert G. L. T. Meertens (POPL, 1983)

Big omega versus the wild functions. - Paul M. B. Vitányi; Lambert G. L. T. Meertens (SIGACT News, 1985)

Description of B. - Lambert G. L. T. Meertens; Steven Pemberton (ACM SIGPLAN Notices, 1985)

Constructing a Calculus of Programs. - Lambert G. L. T. Meertens (MPC, 1989)

Optimal packing of similar triangles. - Evangelos Kranakis; Lambert G. L. T. Meertens (Bull. EATCS, 1989)

ABC programmer's handbook. - Leo Geurts; Lambert G. L. T. Meertens; Steven Pemberton (Prentice Hall, 1990)

Paramorphisms. - Lambert G. L. T. Meertens (Formal Aspects Comput., 1992)

Calculate Polytypically! - Lambert G. L. T. Meertens (PLILP, 1996)

The ACELA project: aims and plans. - Arjeh M. Cohen; Lambert G. L. T. Meertens (Computer-Human Interaction in Symbolic Computation, 1998)

Generic Programming: An Introduction. - Roland Carl Backhouse; Patrik Jansson; Johan Jeuring; Lambert G. L. T. Meertens (Advanced Functional Programming, 1998)

Nested Datatypes. - Richard S. Bird; Lambert G. L. T. Meertens (MPC, 1998)

An Experimental Assessment of a Stochastic, Anytime, Decentralized, Soft Colourer for Sparse Graphs. - Stephen Fitzpatrick; Lambert G. L. T. Meertens (SAGA, 2001)

Calculating the Sieve of Eratosthenes. - Lambert G. L. T. Meertens (J. Funct. Program., 2004)

Node density independent localization. - Branislav Kusy; Ákos Lédeczi; Miklos Maroti; Lambert G. L. T. Meertens (IPSN, 2006)

Algorithmics. - Richard S. Bird; Jeremy Gibbons; Ralf Hinze; Peter Höfner; Johan Jeuring; Lambert G. L. T. Meertens; Bernhard Möller; Carroll Morgan; Tom Schrijvers; Wouter Swierstra; Nicolas Wu (IFIP's Exciting First 60+ Years, 2021)