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