Computer-aided Specification and Verification of Annotated Object-Oriented Programs. - Frank S. de Boer; Cees Pierik (FMOODS, 2002)

Coordinating Agents in OO. - Frank S. de Boer; Cees Pierik; Rogier M. van Eijk; John-Jules Ch. Meyer (Objects, Agents, and Features, 2003)

How to Cook a Complete Hoare Logic for Your Pet OO Language. - Frank S. de Boer; Cees Pierik (FMCO, 2003)

A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts. - Cees Pierik; Frank S. de Boer (FMOODS, 2003)

Modularity and the Rule of Adaptation. - Cees Pierik; Frank S. de Boer (AMAST, 2004)

Controlling Object Allocation Using Creation Guards. - Cees Pierik; Dave Clarke 001; Frank S. de Boer (FM, 2005)

A proof outline logic for object-oriented programming. - Cees Pierik; Frank S. de Boer (Theor. Comput. Sci., 2005)