El algoritmo puede ser escrito de una manera más formal en el siguiente pseudocódigo: