An Algebraic Specification for the MPEG-2 Encoding Algorithm | IEEE Conference Publication | IEEE Xplore