Digital optical arithmetic processor based on symbolic substitution | IEEE Conference Publication | IEEE Xplore