A UNITY-Based Framework Towards Component Based Systems. - I. S. W. B. Prasetya; Tanja E. J. Vos; A. Azurat; S. Doaitse Swierstra (OPODIS, 2004)

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

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