Added Formal Semantics task documentation