La secuencia de computaciones llevadas a cabo por el programa se rige única y exclusivamente por la "reescritura" de definiciones más amplias a otras cada vez más concretas y definidas, usando lo que se denominan "definiciones dirigidas".