Formula manipulation in algol 60 2 door Riet