Algebraic Specifications as Solutions of Implementation Equations | IEEE Journals & Magazine | IEEE Xplore