Theoretical Aspects of Software Engineering, Fachbücher von Philipp Rümmer, Zhilin Wu