The general notion of such definitions or implementations are discussed in Thomas Forster "Reasoning about theoretical entities".
そのような概念や実現の一般概念が、トーマス・フォースター (Thomas Forster) の "Reasoning about theoretical entities" に論じられている。