El Kahoui, M'hammed Algorithms and Complexity, MPI for Informatics, Max Planck Society;
El Kahoui, M. (2000). Deciding Hopf bifurcations by quantifier elimination in a software-component architecture. Journal of Symbolic Computation, 30(2), 161-179. Retrieved from http://www.sciencedirect.com/science?_ob=IssueURL&_tockey=%23TOC%236927%232000%23999699997%23294181%23FLP%23Volume_30,_Issue_2,_Pages_129-237_(August_2000)&_auth=y&view=c&_acct=C000004638&_version=1&_urlVersion=0&_userid=43521&md5=eed1fda034ba5a240f50d550d711ee9c.