Building Verification Condition Generators by Compositional Extensions. - I. S. W. B. Prasetya; A. Azurat; Tanja E. J. Vos; Arthur van Leeuwen (SEFM, 2005)

Building Verification Condition Generators by Compositional Extension. - A. J. van Leeuwen (IFM Doctoral Symposium, 2005)

Incremental Implementation of Syntax Driven Logics. - Ignatius Sri Wishnu Brata Prasetya; A. Azurat; Tanja E. J. Vos; Arthur van Leeuwen (J. Softw., 2006)

Specifying Strategies for Exercises. - Bastiaan Heeren; Johan Jeuring; Arthur van Leeuwen; Alex Gerdes (AISC/MKM/Calculemus, 2008)