Knorc Calculus and Its Formal Semantics