Formula manipulation in algol 60 by Riet