1. Y. Afek, G. Brown, and M. Merritt. Lazy caching. ACM Transactions on Programming Languages and Systems, 15 (1): 182–206, 1993.
2. Tommaso Bolognesi and Ed Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14:25–59, 1987.
3. T. Bolognesi. Catalogue of LOTOS correctness preserving transformations. Technical Report Lo/WP1/T1.2/N0045/V03, Esprit Project 2304 Lotosphere, April 1992.
4. Ed Brinksma. On the uniqueness of fixpoints modulo observation congruence. Lecture Notes in Computer Science 630, pages 62–76. Springer-Verlag, 1992.
5. Ed Brinksma. Cache consistency by design. In: Deliverable WP3 of ESPRIT BRA REACT (project 6021 ), June 1994. Submitted for publication.