[see page 5, Implement] a specification so that it can be executed on a computer. This can be understood as an effective solution to the problem posed by the specification.