Serie finita de prescripciones potencialmente ejecutables expresadas en un lengauje definido, que establece cómo ejectura un cierto encadenamiento de operaciones para resolver todos los problemas específicos de un tipo de dato. (Corge, Charles, 1975)