Element stamp algorithm for matrix formulation of symbolic circuits - Al-Naima, Fawzi M. (Computer networks, 2010)