Computer generation of symbolic network functions-A new theory and implementation | IEEE Journals & Magazine | IEEE Xplore