Tag calculus 1 by sharma publications