1. R. Greer. Daytona and the Fourth-Generation Language Cymbal. In ACM SIGMOD Conference, June 1999.
2. A. Hume, S. Daniels, and A. Maclellan. Gecko: Tracking a very large billing system. In Proceedings of the 2000 USENIX Annual Technical Conference, pages 93–105, 2000.
3. A. Hume and A. Maclellan. Project Gecko: Pushing the envelope. In Nord U’99 Proceedings, 1999.
4. H.C. Lauer and R.M. Needham. On the duality of operating system structures. Operating Systems Review, 13 (2): 3–19, 1979.