Mats Olof Nordström

• A method for defining formal semantics of programming languages applied to SIMULA