Smart cabling: an overview. - A. H. Uittenbogaard; P. J. A. Lentfert; S. Doaitse Swierstra (ACM SIGOPS European Workshop, 1990)

Towards the Formal Design of Self-Stabilizing Distributed Algorithms. - P. J. A. Lentfert; S. Doaitse Swierstra (STACS, 1993)

Distributed Maximum Maintenance on Hierarchically Divided Graphs. - P. J. A. Lentfert; S. Doaitse Swierstra (Formal Aspects Comput., 1993)