TY - GEN AU - Nordstrom, Mats TI - A method for defining formal semantics of programming languages applied to simula PY - 1976/// CY - Uppsala PB - Universitet Uppsala N1 - Contine bibliografie ER -