Formal Specifications of Programming Language : A Panoramic Prime