Translation Program Specification