refactoring
Formal specification for Wikis and Wiki Pages added