A sound interface to algebra | IET Conference Publication | IEEE Xplore