A data-flow visual approach to symbolic computing: implementing a production-rule-based programming system through a general-purpose data-flow VL | IEEE Conference Publication | IEEE Xplore