Instead of attempting to offer a distinction between algorithm and program, how about the following relations?

    spec -< algorithm -< program -< executable

where each (a -< b) says both that b implements a and that there are almost always multiple valid potential bs for any given a.