I'm trying to find a formal definition of an algorithm but I only found this. I don't know if it is the accepted one, or even the only one, and I would like some literature on the formal definition(s?). Any help would be appreciated. Thanks.
I'm asking about the formal mathematical definition, not the definition of a sequence of reproducible steps that given some input, produces some output.