Correct Software in Web Applications and Web Services - Thalheim, Bernhard; Schewe, Klaus-Dieter; Prinz, Andreas; Buchberger, Bruno (Springer International Publishing : Imprint: Springer, 2015)