Leram - Handbook of Theoretical Computer Science: Formal Models and Semantics: Volume B