Formal Foundations and Operational Semantics