Formal semantics of programming languages : Courant Computer Science Symposium 2, September 14-16, 1970 - Rustin, Randall; Courant Computer Science Symposium 1970 : New York) (Englewood Cliffs : Prentice-Hall, 1972)
Obsahuje bibliografii
Keywords: algoritmy; programovací jazyky; sémantika; sborníky; algorithms; programming languages; semantics