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