György E. Révész On Translating Ordinary Mathematical Notation. 115-122 1991 12 Structured Programming 3 db/journals/stp/stp12.html#Revesz91