Lambert G. L. T. Meertens

Branislav Kusy, Ákos Lédeczi, Miklos Maroti, Lambert G. L. T. Meertens: Node density independent localization. IPSN 2006: 441-448

Lambert G. L. T. Meertens: Calculating the Sieve of Eratosthenes. J. Funct. Program. 14(6): 759-763 (2004)

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

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

Richard S. Bird, Lambert G. L. T. Meertens: Nested Datatypes. MPC 1998: 52-67

Richard S. Bird, Lambert G. L. T. Meertens (Eds.): Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France. IFIP Conference Proceedings 95, Chapman & Hall 1997, isbn 0-412-82050-1

Lambert G. L. T. Meertens: Calculate Polytypically! PLILP 1996: 1-16

Lambert G. L. T. Meertens: Paramorphisms. Formal Asp. Comput. 4(5): 413-424 (1992)

Leo Geurts, Lambert G. L. T. Meertens, Steven Pemberton: ABC programmer's handbook. Prentice Hall 1990, isbn 978-0-13-000027-9, pp. I-XIV, 1-166

Evangelos Kranakis, Lambert G. L. T. Meertens: Optimal packing of similar triangles. Bulletin of the EATCS 38: 181-185 (1989)

Lambert G. L. T. Meertens: Constructing a Calculus of Programs. MPC 1989: 66-90

Paul M. B. Vitányi, Lambert G. L. T. Meertens: Big omega versus the wild functions. Bulletin of the EATCS 22: 14-19 (1984)

Lambert G. L. T. Meertens: Incremental Polymorphic Type Checking in B. POPL 1983: 265-275

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

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

Lambert G. L. T. Meertens: A Space-Saving Technique for Assigning Algol 68 Multiple Values. Inf. Process. Lett. 5(4): 97-99 (1976)

Adriaan van Wijngaarden, B. J. Mailloux, J. E. L. Peck, Cornelis H. A. Koster, Michel Sintzoff, C. H. Lindsey, Lambert G. L. T. Meertens, R. G. Fisker: Revised Report on the Algorithmic Language ALGOL 68. Acta Inf. 5: 1-236 (1975)

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