Nazir Ahmad Zafar, Nabeel Sabir, Amir Ali. Formal Construction of Deterministic Finite Automata Recognizing Intersection of Regular Languages. In Hamid R. Arabnia, Hassan Reza, editors, Proceedings of the 2008 International Conference on Software Engineering Research & Practice, SERP 2008, July 14-17, 2008, Las Vegas Nevada, USA, 2 Volumes. pages 695-701, CSREA Press, 2008.