Básicamente este sencillo ejemplo se puede modelar con el siguiente pseudo-código: