T. Reps, S. Horwitz, and M. Sagiv. Proceedings of the 22Nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, page 49--61. New York, NY, USA, ACM, (1995)
S. Ali, P. Roop, I. Warren, and Z. Bhatti. Service Oriented System Engineering (SOSE), 2011 IEEE 6th International Symposium on, page 93-101. (December 2011)