SPL(A) - An Elementary Formal System for Signal Processing | IEEE Conference Publication | IEEE Xplore