Básicamente este sencillo ejemplo se puede modelar con el siguiente pseudocódigo: