Formal semantics of programming languages : Courant Computer Science Symposium 2, September 14-16, 1970 - Rustin, Randall (Prentice-Hall, 1972)
Obsahuje bibliografii