TY - BOOK AU - Rustin,Randall TI - Formal semantics of programming languages SN - 0133290603 PY - 1972/// CY - Englewood Cliffs, New Jersey PB - Prentice-Hall, KW - Informática KW - Lenguajes de programación ER -