Reification Computer Science