Formal Semantic Specification Of A Core Object-Oriented Language