A. Karlin, M. Manasse, L. McGeoch, and S. Owicki. SODA '90: Proceedings of the first annual ACM-SIAM symposium on Discrete algorithms, page 301--309. Philadelphia, PA, USA, Society for Industrial and Applied Mathematics, (1990)
L. Xue, O. Ozturk, and M. Kandemir. DAC '07: Proceedings of the 44th annual Design Automation Conference, page 230--233. New York, NY, USA, ACM, (2007)
D. Engler, M. Kaashoek, and J. O'Toole. SOSP '95: Proceedings of the fifteenth ACM symposium on Operating systems principles, page 251--266. New York, NY, USA, ACM, (1995)