Carson K. Leung co-authored at least 1 paper with Heikki Mannila, who co-authored at least 5 papers with Ralph-Johan Back, who in turn co-authored at least 2 papers with Alain J. Martin, who co-authored at least 1 paper with Edsger W. Dijkstra:
Edsger W. Dijkstra, Leslie Lamport, Alain J. Martin, Carel S. Scholten, Elisabeth F. M. Steffens: On-the-fly garbage collection: an exercise in cooperation. In Language Hierarchies and Interfaces (LNCS 46), International Summer School, Marktoberdorf, Gemany, July 23-August 2, 1975: 43-56.
Ralph-Johan Back, Alain J. Martin, Kaisa Sere: Specifying the Caltech asynchronous microprocessor. Science of Computer Programming 26(1-3): 79-97 (May 1996)
Ralph-Johan Back, Heikki Mannila: On the suitability of trace semantics for modular proofs of communicating processes. Theoretical Computer Science 39: 47-68 (1985)
Carson Kai-Sang Leung, Raymond T. Ng, Heikki Mannila: OSSM: a segmentation approach to optimize frequency counting. In Proceedings of the 18th IEEE International Conference on Data Engineering (ICDE 2002), San Jose, CA, USA, February 26-March 01, 2002: 583-592.
Reference: Dijkstra number