GKS, Structures and Formal Specification