it introduces a very tricky question, of what constitutes an implementation or instantiation of an abstract machine or algorithm.

That's not a tricky question. You simply determine whether the defining relationships hold in the system - if they do, that system is an implementation.