Program = concrete specification of an algorithm in a specific language/system (model of computation).
