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)
K. Choi, K. Dantu, W. Cheng, and M. Pedram. Computer Aided Design, 2002. ICCAD 2002. IEEE/ACM International Conference on, page 732-737. (November 2002)