M. Main

• Data structures & other objects using Java
• Mathematical Foundations of Programming Language Semantics