Alexandre V. Zamulin
-
Formal Semantics of Java Expressions and Statements
Programming and Computing Software