1. Formal Methods: State of the Art and New Directions;Boca,2010
2. A. Souari, S. Tahar, A. Gawanmeh, Formal error analysis and verification of a frequency domain equalizer, in: IEEE International New Circuits and Systems Conference, IEEE Computer Society Press, 2012, pp. 189–192.
3. M.O. Fril, Frequency Domain Adaptive Filtering, Master's Thesis, National University of Ireland, UK, 2005.
4. P.A. Dmochowski, Frequency Domain Equalization for High Data Rate Multipath Channels, Master's Thesis, Queen's University, Kingston, Ontario, Canada, 2001.
5. Matlab, 2012.