Correct Software in Web Applications and Web Services - Thalheim, Bernhard (Springer International Publishing, 2015)