Text B Characteristics of Web Programming Languages