Some Finite-Graph Models for Process Algebra. - Paul Spruit; Roel J. Wieringa (CONCUR, 1991)

Declarative Semantics of Passive and Active Updates in Logic Databases. - Paul Spruit; John-Jules Ch. Meyer (FMLDO, 1991)

Discussion Issues for a Working Group on Update Semantics of Logic Databases. - Paul Spruit; John-Jules Ch. Meyer; Roel J. Wieringa (FMLDO, 1991)

Dynamic Database Logic: the First-order Case. - Paul Spruit; Roel J. Wieringa; John-Jules Ch. Meyer (FMLDO, 1992)

Roles and Dynamic Subclasses: A Modal Logic Approach. - Roel J. Wieringa; Wiebren de Jonge; Paul Spruit (ECOOP, 1994)

Aziomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases. - Paul Spruit; Roel J. Wieringa; John-Jules Ch. Meyer (J. Log. Comput., 1995)

Using Dynamic Classes and Role Classes to Model Object Migration. - Roel J. Wieringa; Wiebren de Jonge; Paul Spruit (Theory Pract. Object Syst., 1995)

Regular database update logics. - Paul Spruit; Roel J. Wieringa; John-Jules Ch. Meyer (Theor. Comput. Sci., 2001)