Formal Models and Semantics by Author Unknown