Equivalence of the Gries and Martin Proof Rules for Procedure Calls. - A. Bijlsma 001; J. G. Wiltink; P. A. Matthews (Acta Informatica, 1986)

Transformational Programming and Forests. - A. Bijlsma 001 (MPC, 1989)

A Sharp Proof Rule for Procedures in wp Semantics. - A. Bijlsma 001; P. A. Matthews; J. G. Wiltink (Acta Informatica, 1989)

Calculating with Pointers. - A. Bijlsma 001 (Sci. Comput. Program., 1989)

Derivation of Logic Programs by Functional Methods. - A. Bijlsma 001 (Inf. Process. Lett., 1991)

Quasi-Boolean Equivalence. - A. Bijlsma 001 (Inf. Process. Lett., 1993)

Calculating with Procedure Calls. - A. Bijlsma 001 (Inf. Process. Lett., 1993)

Point-free Substitution. - A. Bijlsma 001; Carel S. Scholten (Sci. Comput. Program., 1996)

An Application of Program Derivation Techniques to 18th-Century Mathematics. - A. Bijlsma 001 (MPC, 1998)

An extension of the program derivation format. - A. J. M. van Gasteren; A. Bijlsma 001 (PROCOMET, 1998)

Dijkstra-Scholten Predicate Calculus: Concepts and Misconceptions. - Lex Bijlsma 001; Rob Nederpelt (Acta Informatica, 1998)

Model-based specification. - Lex Bijlsma 001 (Inf. Process. Lett., 2001)

The Software Product Management Workbench: An Integrated Environment for Managing Product Releases in a Distributed Development Context. - Richard Nieuwenhuis; Inge van de Weerd; Lex Bijlsma 001; Sjaak Brinkkemper; Johan Versendaal (CAiSE Forum, 2006)

Towards a Reference Framework for Software Product Management. - Inge van de Weerd; Sjaak Brinkkemper; Richard Nieuwenhuis; Johan Versendaal; Lex Bijlsma 001 (RE, 2006)

On the Creation of a Reference Framework for Software Product Management: Validation and Tool Support. - Inge van de Weerd; Sjaak Brinkkemper; Richard Nieuwenhuis; Johan Versendaal; Lex Bijlsma 001 (IWSPM, 2006)

Free technology academy: a European initiative for distance education about free software and open standards. - David Megías 001; Wouter Tebbens; Lex Bijlsma 001; Francesc Santanach (ITiCSE, 2009)

Peer production & peer support at the Free Technology Academy. - Hanneke Potters; Adriana J. Berlanga; Lex Bijlsma 001 (CSERC, 2011)

Shared QA for producing free educational materials at the FTA. - Frans Mofers; Wouter Tebbens; Hanneke Potters; Lex Bijlsma 001 (OKCon, 2011)

Maintaining Unit Tests During Refactoring. - Harrie Passier; Lex Bijlsma 001; Christoph Bockisch (PPPJ, 2016)

Template Method test pattern. - A. Bijlsma 001; Harrie J. M. Passier; Harold Pootjes; Sylvia Stuurman (Inf. Process. Lett., 2018)

Evaluation of a Structured Design Methodology for Concurrent Programming. - Lex Bijlsma 001; Kees Huizing; Ruurd Kuiper 001; Harrie Passier; Harold Pootjes; Sjaak Smetsers (CSERC, 2019)

A Structured (Java) Exercise Repository with Automated Feedback (SERF). - Harrie Passier; Cornelis Huizing; Arjan J. F. Kok; Ruurd Kuiper 001; Lex Bijlsma 001; Erik Scheffers; Stefano Schivo; Tanja E. J. Vos (CSERC, 2021)

How do Students Test Software Units? - Lex Bijlsma 001; Niels Doorn; Harrie Passier; Harold Pootjes; Sylvia Stuurman (ICSE (SEET), 2021)

Exploring students' sensemaking of test case design. An initial study. - Niels Doorn; Tanja E. J. Vos; Beatriz Marín; Harrie Passier; Lex Bijlsma 001; Silvio Cacace (QRS Companion, 2021)

Towards a Tool to Support Students through Procedural Programming Guidance. - Sander Albers; Nando Reij; Wouter Brinksma; Lex Bijlsma 001; Harrie Passier (CSERC, 2022)

Evaluation of design pattern alternatives in Java. - Lex A. Bijlsma 001; Arjan J. F. Kok; Harrie J. M. Passier; Harold J. Pootjes; Sylvia Stuurman (Softw. Pract. Exp., 2022)

Improving students' code correctness and test completeness by informal specifications. - Arno Broeders; Ruud Hermans; Sylvia Stuurman; Lex Bijlsma 001; Harrie Passier (CoRR, 2023)

Diagnosing Refactoring Dangers. - Wouter Brinksma; William Wernsen; Evert Verduin; Herman Hilberink; Patrick de Beer; Lex Bijlsma 001; Harrie Passier (CoRR, 2024)

Guided Object-Oriented Development. - Harrie Passier; Lex Bijlsma 001; Ruurd Kuiper 001; Kees Huizing (CoRR, 2024)

A Feedback Toolkit and Procedural Guidance for Teaching Thorough Testing. - Steffen Dick; Christoph Bockisch; Harrie Passier; Lex Bijlsma 001; Ruurd Kuiper 001 (CoRR, 2024)

Analysis and Evaluation of a Searchable Exercise Repository for Training Java Programming. - Arjan J. F. Kok; Lex Bijlsma 001; Cornelis Huizing; Ruurd Kuiper 001; Harrie Passier (Informatics Educ., 2024)