On the Relation Between Unity Properties and Sequences of States. - Rob T. Udink; Joost N. Kok (REX Workshop, 1992)

Two Fully Abstract Models for UNITY. - Rob T. Udink; Joost N. Kok (CONCUR, 1993)

Unity Properties and Sequences of States, Some Observations. - Rob T. Udink; Joost N. Kok (Inf. Process. Lett., 1993)

The RPC-Memory Specification Problem: UNITY+Refinement Calculus. - Rob T. Udink; Joost N. Kok (Formal Systems Specification, 1994)

Progress for Local Variables in UNITY. - Rob T. Udink; Ted Herman; Joost N. Kok (PROCOMET, 1994)

Program refinement in UNITY-like environments. - Rob T. Udink (University Utrecht, 1995)

ImpUNITY: UNITY with Procedures and Local Variables. - Rob T. Udink; Joost N. Kok (MPC, 1995)

Coordination in the ImpUNITY Framework. - Henk Goeman; Joost N. Kok; Kaisa Sere; Rob T. Udink (Sci. Comput. Program., 1998)

Remote execution of HAVi applications on Internet-enabled devices. - Roli G. Wendorf; Rob T. Udink; Maarten P. Bodlaender (IEEE Trans. Consumer Electron., 2001)

Characteristic-entry Logs in the Memorysafe Information System. - Yuechen Qian; Loe M. G. Feijs; Rob T. Udink (IASTED PDCS, 2002)